[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] MPC 2008: SECOND CALL FOR PARTICIPATION



SECOND CALL FOR PARTICIPATION


9th International Conference on Mathematics of Program Construction (MPC'08)

Marseille (Luminy), France, July 15-18th 2008 

http://mpc08.lri.fr

IMPORTANT : accomodation at CIRM should be booked before June 10
PLEASE REGISTER NOW!

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 8th.

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	 Ecole Normale Supérieure Lyon, France (co-chair)
Ralph-Johan Back    	 Abo Akademi University, Finland    
Eerke Boiten        	 University of Kent, UK
Venanzio Capretta    	 University of Nijmegen, Netherlands
Sharon Curtis        	 Oxford Brookes University, UK
Jules Desharnais    	 Université Laval, Québec, Canada
Peter Dybjer        	 Chalmers University of Technology, Sweden
Jeremy Gibbons         	 University of Oxford, UK
Lindsay Groves        	 Victoria University of Wellington, New Zealand
Ian Hayes        	 University of Queensland, Australia
Eric Hehner        	 University of Toronto, Canada
Johan Jeuring         	 Utrecht University, Netherlands
Dexter Kozen         	 Cornell University, USA 
Christian Lengauer    	 Universität Passau, Germany
Lambert Meertens    	 University of Utrecht, Netherlands
Bernhard Möller     	 Universität Augsburg, Germany
Carroll Morgan        	 University of New South Wales, Australia
Shin-Cheng Mu        	 Academia Sinica, Taiwan
Jose Nuno Oliveira     	 Universidade do Minho, Portugal
Tim Sheard        	 Portland State University, USA 
Tarmo Uustalu         	 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ée Donnadieu.
Enquiries regarding the programme (submission etc.) should be addressed 
to mpc08(at)lri.fr