posted by user: jeremygibbons || 8388 views || tracked by 17 users: [display]

MPC 2012 : Mathematics of Program Construction


Conference Series : Mathematics of Program Construction
When Jun 25, 2012 - Jun 27, 2012
Where Madrid
Abstract Registration Due Jan 9, 2012
Submission Deadline Jan 16, 2012
Notification Due Mar 19, 2012
Final Version Due Apr 16, 2012
Categories    computer science   programming languages   formal methods   verification

Call For Papers


11th International Conference on Mathematics of Program Construction (MPC 2012)
Madrid, Spain, 25-27 June 2012


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 2012 MPC conference will be held in Madrid, Spain, from 25th to 27th June 2012. 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), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006, colocated with AMAST), Marseille, France (2008), and Québec City, Canada (2010, colocated with AMAST).


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. 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.


To be arranged.


* Submission of abstracts 09 January 2012
* Submission of full papers 16 January 2012
* Notification to authors: 19 March 2012
* Final version: 16 April 2012


Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 09 January 2012. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 16 January 2012. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (

Papers must report previously unpublished work, and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. Please feel free to write to with any questions about academic matters.

The proceedings of MPC 2012 will be published in Springer-Verlag's Lecture Notes in Computer Science series, as have all the previous editions. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, we plan that the authors of the best papers will be invited to submit revised versions to a special issue of the Elsevier journal Science of Computer Programming.


Jeremy Gibbons University of Oxford, UK (co-chair)
Pablo Nogueira Universidad Politécnica de Madrid, ES (co-chair)

Ralph Back Åbo Akademi, FI
Roland Backhouse University of Nottingham, UK
Eerke Boiten University of Kent, UK
William Cook University of Texas at Austin, US
Jules Desharnais Université Laval, CA
Lindsay Groves Victoria University of Wellington, NZ
Ian Hayes University of Queensland, AU
Ralf Hinze University of Oxford, UK
Graham Hutton University of Nottingham, UK
Johan Jeuring Utrecht Universiteit, NL
Christian Lengauer Universität Passau, DE
Larissa Meinicke Macquarie University, AU
Bernhard Möller Universität Augsburg, DE
Carroll Morgan University of New South Wales, AU
Shin-Cheng Mu Academia Sinica, TW
Dave Naumann Stevens Institute of Technology, US
Jose Oliveira Universidade do Minho, PT
Steve Reeves University of Waikato, NZ
Wouter Swierstra Radboud Universiteit, NL
Anya Tafliovich University of Toronto Scarborough, CA


The conference will take place in Madrid, the capital of Spain, in the Facultad de Medicina of Universidad Complutense de Madrid. The Faculty of Medicine is located in Madrid's Ciudad Universitaria (city campus), not far from the city centre and other major tourist attractions. Accommodation will be available in nearby hotels.


Pablo Nogueira Universidad Politécnica de Madrid
Ricardo Peña Universidad Complutense de Madrid
Alvaro García IMDEA Software Institute and Universidad Politécnica de Madrid
Manuel Montenegro Universidad Complutense de Madrid

For queries about local matters, please write to

Related Resources

CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
MSE 2023   7th International Conference on Materials Science and Engineering
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
ICMAI 2023   2023 8th International Conference on Mathematics and Artificial Intelligence (ICMAI 2023)--SCI
SI Neyman 2023   Special Issue on Neyman (1923) and its influences on causal inference