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.

In 2010, the MPC conference was held in Lac-Beauport, 15 minutes from downtown Québec City, Canada.