Latest News

Call for papers

The call for papers is now available!

Joint Conference

AMAST logoAMAST2010

Joint conference homepage

Sponsors

Université Laval

Centre de Recherches Mathématiques

Login for admin

Your Login Details

Forget Your Password?

Tenth International Conference on Mathematics of Program Construction (MPC'10)

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), Kuressaare, Estonia (2006), Marseille, France (2008). See MPC history for more details.

This year, the MPC conference will be held in Lac-Beauport, 15 minutes from downtown Québec City, Canada.