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=E9 Paris-Sud, France (chair) Philippe Audebaud=09 Ecole Normale Sup=E9rieure 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=E9 Laval, Qu=E9bec, 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 Universit=E4t Passau, Germany Lambert Meertens =09 University of Utrecht, Netherlands Bernhard M=F6ller =09 Universit=E4t 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-Ren=E9e Donnadieu. Enquiries regarding the programme (submission etc.) should be addressed to mpc08(at)lri.fr