Conference announcements

Call for Participation -
11th International Conference on Mathematics of Program Construction (MPC'2012)


From: Jeremy.Gibbons@cs.ox.ac.uk
Date: Wed, 23 May 2012 22:35:01 +0100
To: seworld@sigsoft.org
Subject: [SEWORLD] 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

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

Registration fees have been kept low thanks to a grant from the
Spanish Ministerio de Economia y Competitividad. The early
registration fee is EUR 240, which includes lunches, coffees, and social
events.  The early registration deadline is 6th June 2012; after this
point, the registration fee rises to EUR 340.

Hotel reservation is handled separately; see

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

We have a block booking of rooms at the conference hotel at a special
reduced rate, but only until 30th May 2012; after this point, the
rooms will be released and the special rate unavailable.  (There are
few well-connected budget hotels in the area, and June marks the start
of Spain's tourist season with a sharp rise in hotel rates; so we
strongly advise you to meet this hotel registration deadline.)


INVITED SPEAKERS

   * Gilles Barthe, IMDEA Software Institute (http://software.imdea.org/people/gilles.barthe/)
     "Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs"

   * Dan Ghica, University of Birmingham (http://www.cs.bham.ac.uk/~drg/)
     "The Geometry of Synthesis: How to Make Hardware out of Software"

   * Tony Hoare, Microsoft Research (http://research.microsoft.com/en-us/people/thoare/)
     "The Laws of Programming Unify Process Calculi"


ACCEPTED PAPERS

   * "Scheduler-Independent Declassification"
     Alexander Lux, Heiko Mantel and Matthias Perner

   * "Elementary Probability Theory in the Eindhoven Style"
     Carroll Morgan

   * "Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n"
     Louis Mandel and Florence Plateau

   * "Deriving Real-Time Action Systems Controllers from Multiscale System Specifications"
     Brijesh Dongol and Ian J. Hayes

   * "Calculating Graph Algorithms for Dominance and Shortest Path"
     Ilya Sergey, Jan Midtgaard and Dave Clarke

   * "First-Past-the-Post Games"
     Roland Backhouse

   * "Reverse Exchange for Concurrency and Local Reasoning"
     Han-Hing Dang and Bernhard Möller

   * "Unifying Correctness Statements"
     Walter Guttmann

   * "Dependently Typed Programming based on Automated Theorem Proving"
     Alasdair Armstrong, Simon Foster and Georg Struth

   * "An Algebraic Calculus of Database Preferences"
     Bernhard Möller, Patrick Roocks and Markus Endres

   * "Modular Tree Automata"
     Patrick Bahr

   * "Constructing Applicative Functors"
     Ross Paterson

   * "Kan Extensions for Program Optimisation, Or: Art and Dan Explain an Old Trick"
     Ralf Hinze


SOCIAL EVENTS

The conference excursion will be a guided tour of Madrid's Royal Palace.
The banquet will be Northern Spanish cuisine at the Sidreria-Asador Gaztemanu.


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         University of Queensland, 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         Utrecht Universiteit, NL
Anya Tafliovich          University of Toronto Scarborough, CA


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.

2nd Call for Papers -
11th International Conference on Mathematics of Program Construction (MPC'2012)


From: Jeremy.Gibbons@cs.ox.ac.uk
Date: Thu, 15 Dec 2011 14:45:38 +0000
To: ecoop-info@ecoop.org
Subject: [ecoop-info] Mathematics of Program Construction: Second Call for Papers


SECOND 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

   * Gilles Barthe, IMDEA Software Institute (http://software.imdea.org/people/gilles.barthe/)
   * Dan Ghica, University of Birmingham (http://www.cs.bham.ac.uk/~drg/)
   * Tony Hoare, Microsoft Research (http://research.microsoft.com/en-us/people/thoare/)


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 has
been reserved in a nearby hotel.


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.

1st Call for Papers -
11th International Conference on Mathematics of Program Construction (MPC'2012)


Date: Wed, 7 Sep 2011 11:48:12 +0100 (BST)
From: Jeremy.Gibbons@comlab.ox.ac.uk
To: ecoop-info@ecoop.org
Subject: [ecoop-info] Mathematics of Program Construction - first call for papers

[ 118 lines deleted; see updated version above -- dc ]

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 201x/xx/xx.

Dirk Craeynest