21-23 June 2010
Quebec City QC, Canada
Tenth International Conference on Mathematics of Program Construction (MPC 2010) Qubec City, Canada June 21--23, 2010 This biennial event, colocated this year with the Thirteenth International Conference on Algebraic Methodology and Software Technology (AMAST 2010, June 23--26), aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. For further information, visit the website below. http://mpc-amast2010.fsg.ulaval.ca/