International Conference on Mathematics of Program Construction
-
2022
MPC 2022
- 26-28 September
- Tblilisi, Georgia
-
Mathematics of Program Construction
9 Papers
1 Volume
-
2015
MPC 2015
- 29 June - 1 July
- Königswinter, Germany
-
Mathematics of Program Construction
15 Papers
1 Volume
-
2010
MPC 2010
- 21-23 June
- Quebec City, QC, Canada
-
Mathematics of Program Construction
22 Papers
1 Volume
-
2004
MPC 2004
- 12-14 July
- Stirling, United Kingdom
-
Mathematics of Program Construction
20 Papers
1 Volume
-
2002
MPC 2002
- 8-10 July
- Dagstuhl Castle, Germany
-
Mathematics of Program Construction
14 Papers
1 Volume
-
2000
MPC 2000
- 3-5 July
- Ponte de Lima, Portugal
-
Mathematics of Program Construction
15 Papers
1 Volume
-
1995
MPC 1995
- 17-21 July
- Kloster Irsee, Germany
-
Mathematics of Program Construction
24 Papers
1 Volume
-
1992
MPC 1992
- 29 June - 3 July
- Oxford, United Kingdom
-
Mathematics of Program Construction
24 Papers
1 Volume
-
1989
MPC 1989
- 26-30 June
- Groningen, The Netherlands
-
Mathematics of Program Construction
25 Papers
1 Volume