<div dir="ltr"><div>Apologies for multiple copies.</div><div><br></div><div>FIRST CALL FOR PAPERS</div><div><br></div><div>12th International Conference on Mathematics of Program Construction (MPC 2015)</div><div>Königswinter, Germany, 29 June - 1 July 2015</div><div><a href="http://www.cs.ox.ac.uk/conferences/MPC2015/">http://www.cs.ox.ac.uk/conferences/MPC2015/</a></div><div><br></div><div><br></div><div>BACKGROUND</div><div><br></div><div>The MPC conferences aim to promote the development of mathematical principles</div><div>and techniques that are demonstrably practical and effective in the process of</div><div>constructing computer programs, broadly interpreted.</div><div><br></div><div>The 2015 MPC conference will be held in Königswinter, Germany, from 29th June to</div><div>1st July 2015. The previous conferences were held in Twente, The Netherlands</div><div>(1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden</div><div>(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK</div><div>(2004, colocated with AMAST), Kuressaare, Estonia (2006, colocated with AMAST),</div><div>Marseille, France (2008), Québec City, Canada (2010, colocated with AMAST), and</div><div>Madrid, Spain (2012).</div><div><br></div><div><br></div><div>TOPICS</div><div><br></div><div>Papers are solicited on mathematical methods and tools put to use in program</div><div>construction. Topics of interest range from algorithmics to support for program</div><div>construction in programming languages and systems. The notion of "program" is</div><div>broad, from algorithms to hardware. Some typical areas are type systems, program</div><div>analysis and transformation, programming-language semantics, security, and</div><div>program logics. Theoretical contributions are welcome, provided that their</div><div>relevance to program construction is clear. Reports on applications are welcome,</div><div>provided that their mathematical basis is evident.</div><div><br></div><div>We also encourage the submission of "pearls": elegant, instructive, and fun</div><div>essays on the mathematics of program construction.</div><div><br></div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>   * Submission of abstracts:      26 January 2015</div><div>   * Submission of full papers:     2 February 2015</div><div>   * Notification to authors:      16 March 2015</div><div>   * Final version:                13 April 2015</div><div><br></div><div><br></div><div>SUBMISSION</div><div><br></div><div>Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be</div><div>submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs</div><div>style must be submitted by 2 February 2015. There is no official page limit, but</div><div>authors should strive for brevity. The web-based system EasyChair will be used</div><div>for submission (<a href="https://easychair.org/conferences/?conf=mpc2015">https://easychair.org/conferences/?conf=mpc2015</a>). </div><div><br></div><div>Papers must report previously unpublished work, and must not be submitted</div><div>concurrently to a journal or to another conference with refereed proceedings.</div><div>Accepted papers must be presented at the conference by one of the authors.</div><div>Please feel free to write to <a href="mailto:mpc2015@easychair.org">mpc2015@easychair.org</a> with any questions</div><div>about academic matters.</div><div><br></div><div>The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture Notes</div><div>in Computer Science series, as have all the previous editions. Authors of</div><div>accepted papers will be expected to transfer copyright to Springer for this</div><div>purpose. After the conference, authors of the best papers will be invited to</div><div>submit revised versions to a special issue of the Elsevier journal Science of</div><div>Computer Programming.</div><div><br></div><div><br></div><div>PROGRAMME COMMITTEE</div><div><br></div><div>Ralf Hinze                University of Oxford, UK (chair)</div><div><br></div><div>Eerke Boiten              University of Kent, UK</div><div>Jules Desharnais          Université Laval, Canada</div><div>Lindsay Groves            Victoria University of Wellington, New Zealand</div><div>Zhenjiang Hu              National Institute of Informatics, Japan</div><div>Graham Hutton             University of Nottingham, UK</div><div>Johan Jeuring             Utrecht University and Open University, The Netherlands</div><div>Jay McCarthy              Vassar College, US</div><div>Bernhard Möller           Universität Augsburg, Germany</div><div>Shin-Cheng Mu             Academia Sinica, Taiwan</div><div>Dave Naumann              Stevens Institute of Technology, US</div><div>Pablo Nogueira            Universidad Politécnica de Madrid, Spain</div><div>Ulf Norell                University of Gothenburg, Sweden</div><div>Bruno C. d. S. Oliveira   The University of Hong Kong, Hong Kong</div><div>José Nuno Oliveira        Universidade do Minho, Portugal</div><div>Alberto Pardo             Universidad de la República, Uruguay</div><div>Christine Paulin-Mohring  INRIA-Université Paris-Sud, France</div><div>Tom Schrijvers<span class="" style="white-space:pre">               </span>  KU Leuven, Belgium</div><div>Emil Sekerinski           McMaster University, Canada</div><div>Tim Sheard                Portland State University, US</div><div>Anya Tafliovich           University of Toronto Scarborough, Canada</div><div>Tarmo Uustalu             Institute of Cybernetics, Estonia</div><div>Janis Voigtländer         Universität Bonn, Germany</div><div><br></div><div><br></div><div>VENUE</div><div><br></div><div>The conference will take place in Königswinter, Maritim Hotel, where</div><div>accommodation has been reserved. Königswinter is situated on the right bank of</div><div>the river Rhine, opposite Germany's former capital Bonn, at the foot of the</div><div>Siebengebirge.</div><div><br></div><div><br></div><div>LOCAL ORGANIZERS</div><div><br></div><div>Ralf Hinze                      University of Oxford, UK (co-chair)</div><div>Janis Voigtländer               Universität Bonn, Germany (co-chair)</div><div>José Pedro Magalhães            University of Oxford, UK</div><div>Nicolas Wu                      University of Oxford, UK</div><div><br></div><div>For queries about local matters, please write to <a href="mailto:jv@informatik.uni-bonn.de">jv@informatik.uni-bonn.de</a>.</div><div><br></div></div>