MPC2012 Call for Participation

CALL FOR PARTICIPATION

11th International Conference on Mathematics of Program Construction (MPC  2012)
Madrid, Spain, 25-27 June 2012

http://babel.ls.fi.upm.es/mpc2012

Hotel rooms reserved until:  *** 30th May 2012 ***
Early registration deadline: *** 6th June 2012 ***

BACKGROUND

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably practical
and effective in the process of constructing computer programs,
broadly interpreted. The 2012 MPC conference will be held in Madrid,
Spain, from 25th to 27th June 2012.

VENUE

The conference will take place in Madrid, the capital of Spain, in the
Sala de Grados of the Facultad de Informática of Universidad
Complutense de Madrid, right in Madrid's Ciudad Universitaria (city
campus), not far from the city centre and other major tourist
attractions. Accommodation has been reserved in a nearby 4-star hotel,
the VP Jardin Metropolitano.

REGISTRATION

Conference registration is now open; see