15-18 July 2008
FIRST CALL FOR PARTICIPATION
9th International Conference on Mathematics of Program Construction
(MPC'08)
Marseille (Luminy), France, July 15-18th 2008
http://mpc08.lri.fr
We hereby invite you to participate to the MPC (Mathematics of Program
Construction) conference held from July 15th to July 18th 2008 at the
International Center for Mathematical Meetings (CIRM,
http://www.cirm.univ-mrs.fr/web.ang).
Online registration is opened on conference web site.
Dealine registration is June 1th.
INVITED SPEAKERS
* Ralf Hinze, University of Oxford, UK.
* Greg Morrisett, Harvard University, USA
* Simon Peyton-Jones, Microsoft Research Cambridge, UK
PROGRAMME
The preliminary programme is available on the conference web site.
VENUE
The conference will be held in Marseille, the second largest city in
France next to Paris. Its port is the most important in France,
and opens the city to the world through the Mediterranean Sea.
MPC'08 will be hosted by the International Center for Mathematical
Meetings. The center is located inside the Campus of Luminy Faculty.
It is close to the "Calanques", an astounding wild coastline composed
of creeks stretching from Marseille to Cassis.
PROGRAMME COMMITTEE
Christine Paulin-Mohring INRIA-Universit Paris-Sud, France (chair)
Philippe Audebaud=09 Ecole Normale Suprieure Lyon, France (co-chair)
Ralph-Johan Back =09 Abo Akademi University, Finland
Eerke Boiten =09 University of Kent, UK
Venanzio Capretta =09 University of Nijmegen, Netherlands
Sharon Curtis =09 Oxford Brookes University, UK
Jules Desharnais =09 Universit Laval, Qubec, Canada
Peter Dybjer =09 Chalmers University of Technology, Sweden
Jeremy Gibbons =09 University of Oxford, UK
Lindsay Groves =09 Victoria University of Wellington, New Zealand
Ian Hayes =09 University of Queensland, Australia
Eric Hehner =09 University of Toronto, Canada
Johan Jeuring =09 Utrecht University, Netherlands
Dexter Kozen =09 Cornell University, USA
Christian Lengauer =09 Universitt Passau, Germany
Lambert Meertens =09 University of Utrecht, Netherlands
Bernhard Mller =09 Universitt Augsburg, Germany
Carroll Morgan =09 University of New South Wales, Australia
Shin-Cheng Mu =09 Academia Sinica, Taiwan
Jose Nuno Oliveira =09 Universidade do Minho, Portugal
Tim Sheard =09 Portland State University, USA
Tarmo Uustalu =09 Institute of Cybernetics Tallin, Estonia
LOCAL ORGANIZERS
MPC 2008 is organized with the support of INRIA.
The local organizers are Philippe Audebaud, Christine Paulin-Mohring and
Marie-Rene Donnadieu.
Enquiries regarding the programme (submission etc.) should be addressed
to mpc08(at)lri.fr