Call for Papers

11th International Conference on Mathematics of Program Construction

The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

The conference solicits research papers 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. The notion of ‘program’ is broad, from algorithms to hardware. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident.

Invited Speakers

Gilles Barthe, IMDEA Software Institute, Spain.

Tony Hoare, Microsoft Research, UK

Dan Ghica, University of Birmingham, UK.

Important Dates (expired)

9 January 2012 Submission of abstracts
16 January 2012 Submission of full papers
19 March 2012 Notification to authors
16 April 2012 Camera-ready version
6 June 2012 Early registration deadline
25-27 June 2012 Conference in Madrid

The excellent web-based system EasyChair was used for managing paper submissions.