8th International Conference on Mathematics of Program Construction, MPC '06

Kuressaare, Estonia, 3-5 July 2006
colocated with AMAST '06

MPC/AMAST 2006 programme and local information


The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002) and Stirling, UK (2004, colocated with AMAST '04). The 2006 conference will be held at Kuressaare, Estonia, colocated with AMAST '06.

Some MPC history.

Invited speakers

Robin Cockett University of Calgary
Olivier Danvy Aarhus Universitet
Oege de MoorUniversity of Oxford

Important dates


Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming language semantics, program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident.

Submission and publication

Submission is in two stages. Abstracts (plain text) must be submitted by 3 February 2006 (extended). Full papers (pdf) adhering to the llncs style must be submitted by 10 February 2006 (extended). There is no official page limit, but authors should strive for brevity.

Submission to MPC 2006 is closed.

Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. PC members may submit. Accepted papers must be presented at the conference by one of the authors.

The proceedings of MPC '06 will be published in the Lecture Notes in Computer Science series of Springer-Verlag for distribution at the conference.

After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. The timeline for the special issue will be announced separately.

Programme committee

Roland BackhouseUniversity of Nottingham
Eerke BoitenUniversity of Kent
Venanzio CaprettaUniversity of Ottawa
Sharon CurtisOxford Brookes University
Jules DesharnaisUniversité de Laval
Jeremy GibbonsUniversity of Oxford
Lindsay GrovesVictoria University of Wellington
Ian HayesUniversity of Queensland
William HarrisonUniversity of Missouri
Johan JeuringUniversiteit Utrecht
Dexter KozenCornell University
Christian LengauerUniversität Passau
Lambert MeertensKestrel Institute
Bernhard MöllerUniversität Augsburg
Shin-Cheng MuAcademia Sinica
José OliveiraUniversidade do Minho
Alberto PardoUniversidad de la República
Ross PatersonCity University London
Ingrid RewitzkyUniversity of Stellenbosch
Tarmo Uustalu Institute of Cybernetics (chair)
Varmo VeneUniversity of Tartu

Further programme information

Enquiries regarding the programme (submission etc.) should be addressed to mpc06(at)cs.ioc.ee.

Satellite workshops

Two workshops will be held in conjunction with MPC 2006 as satellites on 2 July 2006:

Local information

All local information, incl. information on registration and cost, information regarding the venue and information on the local organization, is on the joint MPC/AMAST '06 local information page.

Last changed June 13, 2006 1:15 EET by local organizers, mpc06(at)cs.ioc.ee