Call for papers

10th International Conference on
Mathematics of Program Construction
MPC 2010

Québec City, Canada, 21-23 June 2010

Colocated with AMAST 2010 (23-25 June 2010)


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. 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), Stirling, UK (2004, colocated with AMAST '04), Kuressaare, Estonia (2006, colocated with AMAST '06) and Marseille, France (2008).

The 2010 conference will be held in Lac-Beauport, a suburb of Québec City, Canada, and will be colocated with AMAST '10 (23-25 June 2010).

Invited Speakers
  • Roland Backhouse, University of Nottingham, UK.
  • Others to be announced later.
Important Dates
  • Submission of abstracts: 7 December 2009
  • Submission of full papers: 14 December 2009
  • Notification of authors: 20 February 2010
  • Camera-ready version: 20 March 2010

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, security and 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, 10 to 20 lines) must be submitted by 7 December 2009. Full papers (.PDF) adhering to the LaTeX llncs style must be submitted by 14 December 2009. 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. In particular, they must not be submitted to AMAST 2010. Accepted papers must be presented at the conference by one of the authors.

The proceedings of MPC'10 will be published in the Lecture Notes in Computer Science series of Springer-Verlag.

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.

Programme Committee
Jules Desharnais Université Laval, Québec, Canada (chair)
Philippe Audebaud Ecole Normale Supérieure Lyon, France
Ralph-Johan Back Åbo Akademi University, Finland
Eerke Boiten University of Kent, UK
Sharon Curtis Oxford Brookes University, UK
Jeremy Gibbons University of Oxford, UK
Lindsay Groves Victoria University of Wellington, New Zealand
Ian J. Hayes University of Queensland, Australia
Eric Hehner University of Toronto, Canada
Zhenjiang Hu National Institute of Informatics, Japan
Johan Jeuring Utrecht University, Netherlands
Christian Lengauer Universität Passau, Germany
Bernhard Möller Universität Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
David Naumann Stevens Institute of Technology, USA
José Nuno Oliveira Universidade do Minho, Portugal
Alberto Pardo Universidad de la República, Uruguay
Christine Paulin-Mohring INRIA-Université Paris-Sud, France
Steve Reeves University of Waikato, New Zealand
Tim Sheard Portland State University, USA
Georg Struth Sheffield University, UK
Tarmo Uustalu Institute of Cybernetics, Estonia



The conference will be held in the Manoir St-Castin ( This resort is located on the shore of Beauport lake, 15 minutes from downtown Québec City ( and 15 minutes from the Jean-Lesage International Airport.

Local Organizers

The local organizers are Claude Bolduc, Jules Desharnais and Béchir Ktari. Enquiries regarding the programme (submission, etc.) should be addressed to