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.
Gilles Barthe, IMDEA Software Institute, Spain.
Tony Hoare, Microsoft Research, UK
Dan Ghica, University of Birmingham, UK.
| 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.