MPC 2002

| Home | Programme | Proceedings | Workshops | Venue | Contacts |


Sixth International Conference on
Mathematics of Program Construction

8-10 July 2002, Dagstuhl, Germany

Co-located with IFIP TC2 Working Conference on Generic Programming and workshops CMPP 2002 and TIP'02


Science of Computer Programming
A special issue of Science of Computer Programming on MPC 2002 appeared in May 2004 (Vol 51, Issues 1-2).

Conference Pictures

Eerke Boiten, University of Kent at Canterbury, UK
Bernhard Möller, Augsburg University, Germany

Local Organisation: Augsburg University
Bernhard Möller
Thorsten Ehm
Georg Struth

Program Committee
Roland Backhouse (UK)
Michael Butler (UK)
Ernie Cohen (USA)
Jules Desharnais (Canada)
Jeremy Gibbons (UK, WCGP liaison)
David Gries (USA)
Lindsay Groves (New Zealand)
Ian Hayes (Australia)
Eric Hehner (Canada)
Zhenjiang Hu (Japan)
John Hughes (Sweden)
Bart Jacobs (The Netherlands)
Johan Jeuring (The Netherlands, WCGP liaison)
Dick Kieburtz (USA)
Dexter Kozen (USA)
K. Rustan M. Leino (USA)
Christian Lengauer (Germany, CMPP liaison)
David Naumann (USA)
J.N. Oliveira (Portugal)
Alberto Pardo (Uruguay)
Peter Pepper (Germany)
Kaisa Sere (Finland)
Mark Utting (New Zealand)


For Delegates
For Speakers


webpages hosted by
Computer Science @ Kent

Go to the University of Kent's Home Page

Contact the MPC Webmaster
Last Updated: 5 August, 2002 16:00
Web Address: