Mathematics of Program Construction (MPC)

9. MPC 2008: Marseille, France

Philippe Audebaud, Christine Paulin-Mohring (Eds.): Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5133 Springer 2008, ISBN 978-3-540-70593-2
Contents

- MPC 2008 Home Page

8. MPC 2006: Kuressaare, Estonia

Tarmo Uustalu (Ed.): Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Lecture Notes in Computer Science 4014 Springer 2006, ISBN 3-540-35631-2
Contents

- MPC 2006 Home Page

7. MPC 2004: Stirling, Scotland, UK

Dexter Kozen, Carron Shankland (Eds.): Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Lecture Notes in Computer Science 3125 Springer 2004, ISBN 3-540-22380-0
Contents

6. MPC 2002: Dagstuhl, Germany

Eerke A. Boiten, Bernhard Möller (Eds.): Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386 Springer 2002, ISBN 3-540-43857-2
Contents

- MPC 2002 Home Page

5. MPC 2000: Ponte de Lima, Portugal

Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Lecture Notes in Computer Science 1837 Springer 2000, ISBN 3-540-67727-5
Contents

- MPC 2000 Home Page

4. MPC 1998: Marstrand, Sweden

Johan Jeuring (Ed.): Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Lecture Notes in Computer Science 1422 Springer 1998, ISBN 3-540-64591-8
Contents

3. MPC 1995: Kloster Irsee, Germany

Bernhard Möller (Ed.): Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Lecture Notes in Computer Science 947 Springer 1995, ISBN 3-540-60117-1
Contents

2. MPC 1992: Oxford, U.K.

Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669 Springer 1993, ISBN 3-540-56625-2
Contents

1. MPC 1989: Groningen, The Netherlands

Jan L. A. van de Snepscheut (Ed.): Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Lecture Notes in Computer Science 375 Springer 1989, ISBN 3-540-51305-1
Contents