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.
|Robin Cockett||University of Calgary|
|Olivier Danvy||Aarhus Universitet|
|Oege de Moor||University of Oxford|
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 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.
|Roland Backhouse||University of Nottingham|
|Eerke Boiten||University of Kent|
|Venanzio Capretta||University of Ottawa|
|Sharon Curtis||Oxford Brookes University|
|Jules Desharnais||Université de Laval|
|Jeremy Gibbons||University of Oxford|
|Lindsay Groves||Victoria University of Wellington|
|Ian Hayes||University of Queensland|
|William Harrison||University of Missouri|
|Johan Jeuring||Universiteit Utrecht|
|Dexter Kozen||Cornell University|
|Christian Lengauer||Universität Passau|
|Lambert Meertens||Kestrel Institute|
|Bernhard Möller||Universität Augsburg|
|Shin-Cheng Mu||Academia Sinica|
|José Oliveira||Universidade do Minho|
|Alberto Pardo||Universidad de la República|
|Ross Paterson||City University London|
|Ingrid Rewitzky||University of Stellenbosch|
|Tarmo Uustalu||Institute of Cybernetics (chair)|
|Varmo Vene||University of Tartu|
Enquiries regarding the programme (submission etc.) should be addressed to mpc06(at)cs.ioc.ee.
Two workshops will be held in conjunction with MPC 2006 as satellites on 2 July 2006:
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
© 2006 Institute of Cybernetics at TUT, All Rights Reserved