[Caml-list] Mathematics of Program Construction - first call for papers

[Wouter Swierstra <w.swierstra@cs.ru.nl>]

FIRST CALL FOR PAPERS

11th International Conference on Mathematics of Program Construction (MPC 2012)
Madrid, Spain, 25-27 June 2012
http://babel.ls.fi.upm.es/mpc2012



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.  The previous conferences were held in Twente, The
Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995),
Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl,
Germany (2002), Stirling, UK (2004, colocated with AMAST), Kuressaare,
Estonia (2006, colocated with AMAST), Marseille, France (2008), and
Québec City, Canada (2010, colocated with AMAST).


TOPICS

Papers are solicited on mathematical methods and tools put to use in
program construction. Topics of interest range from algorithmics to
support for program construction in programming languages and systems.
The notion of "program" is broad, from algorithms to hardware.  Some
typical areas are type systems, program analysis and transformation,
programming-language semantics, security, and program logics.
Theoretical contributions are welcome, provided that their relevance
to program construction is clear. Reports on applications are welcome,
provided that their mathematical basis is evident.


INVITED SPEAKERS

To be arranged.


IMPORTANT DATES

  * Submission of abstracts       09 January 2012
  * Submission of full papers     16 January 2012
  * Notification to authors:      19 March 2012
  * Final version:                16 April 2012


SUBMISSION

Submission is in two stages. Abstracts (plain text, 10 to 20 lines)
must be submitted by 09 January 2012. Full papers (pdf) adhering to
the LaTeX llncs style must be submitted by 16 January 2012. There is
no official page limit, but authors should strive for brevity. The
web-based system EasyChair will be used for submission
(http://www.easychair.org/conferences/?conf=mpc2012).

Papers must report previously unpublished work, and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the conference by one of the authors.
Please feel free to write to mpc2012@easychair.org with any questions
about academic matters.

The proceedings of MPC 2012 will be published in Springer-Verlag's
Lecture Notes in Computer Science series, as have all the previous
editions. Authors of accepted papers will be expected to transfer
copyright to Springer for this purpose. After the conference, we plan
that the authors of the best papers will be invited to submit revised
versions to a special issue of the Elsevier journal Science of
Computer Programming.


PROGRAMME COMMITTEE

Jeremy Gibbons           University of Oxford, UK (co-chair)
Pablo Nogueira           Universidad Politécnica de Madrid, ES (co-chair)

Ralph Back               Åbo Akademi, FI
Roland Backhouse         University of Nottingham, UK
Eerke Boiten             University of Kent, UK
William Cook             University of Texas at Austin, US
Jules Desharnais         Université Laval, CA
Lindsay Groves           Victoria University of Wellington, NZ
Ian Hayes                University of Queensland, AU
Ralf Hinze               University of Oxford, UK
Graham Hutton            University of Nottingham, UK
Johan Jeuring            Utrecht Universiteit, NL
Christian Lengauer       Universität Passau, DE
Larissa Meinicke         Macquarie University, AU
Bernhard Möller          Universität Augsburg, DE
Carroll Morgan           University of New South Wales, AU
Shin-Cheng Mu            Academia Sinica, TW
Dave Naumann             Stevens Institute of Technology, US
Jose Oliveira            Universidade do Minho, PT
Steve Reeves             University of Waikato, NZ
Wouter Swierstra         Radboud Universiteit, NL
Anya Tafliovich          University of Toronto Scarborough, CA


VENUE

The conference will take place in Madrid, the capital of Spain, in the
Facultad de Medicina of Universidad Complutense de Madrid. The Faculty
of Medicine is located in Madrid's Ciudad Universitaria (city campus),
not far from the city centre and other major tourist attractions.
Accommodation will be available in nearby hotels.


LOCAL ORGANIZERS

Pablo Nogueira           Universidad Politécnica de Madrid
Ricardo Peña             Universidad Complutense de Madrid
Alvaro García            IMDEA Software Institute and Universidad
Politécnica de Madrid
Manuel Montenegro        Universidad Complutense de Madrid

For queries about local matters, please write to pablo@babel.ls.fi.upm.es.