Mathematics of Program Construction (MPC)

12. MPC 2015: Königswinter, Germany

11. MPC 2012: Madrid, Spain

10. MPC 2010: Québec City, Canada

9. MPC 2008: Marseille, France

MPC 2008 Home Page

8. MPC 2006: Kuressaare, Estonia

MPC 2006 Home Page

7. MPC 2004: Stirling, Scotland, UK

6. MPC 2002: Dagstuhl, Germany

MPC 2002 Home Page

5. MPC 2000: Ponte de Lima, Portugal

4. MPC 1998: Marstrand, Sweden

3. MPC 1995: Kloster Irsee, Germany

2. MPC 1992: Oxford, U.K.

1. MPC 1989: Groningen, The Netherlands

maintained by Schloss Dagstuhl LZI at University of Trier