Ninth International Conference on
Mathematics of Program Construction (MPC '08)
Previous issues of MPC meeting
- MPC '89:
Twente, The Netherlands, 26-30 June 1989
Host institution: Rijksuniv. Groningen
Proceedings: Lect. Notes in Comput. Sci., v. 375
Selected Papers: Sci. of Comput. Program., v. 14, n. 2-3 (1990)
- MPC '92:
Oxford, UK, 29 June-3 July 1992
Host institution: Univ. of Oxford
Proceedings: Lect. Notes in Comput. Sci., v. 669
Selected Papers: Sci. of Comput. Program., v. 22, n. 1-2 (1994)
- MPC '95:
Kloster Irsee, Germany, 17-21 July 1995
PC chair: Bernhard Möller (Univ. Augsburg)
Host institution: Univ. Augsburg
Proceedings: Lect. Notes in Comput. Sci., v. 947
Selected Papers: Sci. of Comput. Program., v. 26, n. 1-3 (1996)
- MPC '98:
Marstrand, Sweden, 15-17 June 1998
PC chair: Johan Jeuring (Chalmers Tekn. Högskola)
Host institution: Chalmers Tekn. Högskola
Proceedings: Lect. Notes in Comput. Sci., v. 1422
Selected Papers: Sci. of Comput. Program., v. 37, n. 1-3 (2000)
- MPC '00:
Ponte de Lima, Portugal, 3-5 July 2000
PC co-chairs: Roland Backhouse (Techn. Univ. Eindhoven),
José Oliveira (Univ. do Minho)
Host institution: Univ. do Minho
Proceedings: Lect. Notes in Comput. Sci., v. 1837
Selected Papers: Sci. of Comput. Program., v. 43, n. 2-3 (2002)
-
MPC '02:
Dagstuhl, Germany, 8-10 July 2002
PC co-chairs: Eerke Boiten (Univ. of Kent),
Bernhard Möller (Univ. Augsburg)
Host institution: Schloss Dagstuhl
Proceedings: Lect. Notes in Comput. Sci., v. 2386
Selected Papers: Sci. of Comput. Program., v. 51, n. 1-2 (2004)
- MPC '04:
Stirling, UK, 12-14 July 2004 (colocated with
AMAST '04)
PC chair: Dexter Kozen (Cornell Univ.)
Host institution: Univ. of Stirling
Proceedings: Lect. Notes in Comput. Sci., v. 3125
Selected Papers: Sci. of Comput. Program., v. 65, n. 2 (2007)
- MPC '06:
Kuressaare, Estonia, 3-5 July 2006 (colocated with
AMAST '06)
PC chair: Tarmo Uustalu (Inst. of Cybernetics)
Host institution: Inst. of Cybernetics
Proceedings: Lect. Notes in Comput. Sci., v. 4014
Selected Papers: Sci. of Comput. Program., v. xx, n. xx
- MPC'08:
Marseille-Luminy, France
PC chair: Christine Paulin-Mohring (Univ. Paris-Sud)
Host institution: C.I.R.M.
Proceedings: ...
Selected Papers: ...
Last modified: Mon Apr 7 13:08:50 CEST 2008
by local organizers, mpc08(at)lri.fr