From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8350 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?= Newsgroups: gmane.science.mathematics.categories Subject: Mathematics of Program Construction (MPC 2015): first call for papers Date: Fri, 10 Oct 2014 14:57:56 +0100 Message-ID: Reply-To: =?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1413124869 3639 80.91.229.3 (12 Oct 2014 14:41:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 12 Oct 2014 14:41:09 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Oct 12 16:41:04 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XdKKV-0007Ji-Q5 for gsmc-categories@m.gmane.org; Sun, 12 Oct 2014 16:41:03 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43841) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XdKJm-00022F-I2; Sun, 12 Oct 2014 11:40:18 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XdKJm-0004L1-R4 for categories-list@mlist.mta.ca; Sun, 12 Oct 2014 11:40:18 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8350 Archived-At: Apologies for multiple copies. FIRST CALL FOR PAPERS 12th International Conference on Mathematics of Program Construction, MPC 2= 015 K=C3=B6nigswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ BACKGROUND The MPC conferences aim to promote the development of mathematical principl= es and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2015 MPC conference will be held in K=C3=B6nigswinter, Germany, from 29= th June to 1st July 2015. 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 (200= 6, colocated with AMAST), Marseille, France (2008), Qu=C3=A9bec City, Canada (= 2010, colocated with AMAST), and Madrid, Spain (2012). TOPICS Papers are solicited on mathematical methods and tools put to use in progra= m 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 typ= e systems, program analysis and transformation, programming-language semantic= s, security, and program logics. Theoretical contributions are welcome, provid= ed that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident= . We also encourage the submission of "pearls": elegant, instructive, and fun essays on the mathematics of program construction. IMPORTANT DATES * Submission of abstracts: 26 January 2015 * Submission of full papers: 2 February 2015 * Notification to authors: 16 March 2015 * Final version: 13 April 2015 SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 2 February 2015. There is no official page limit= , but authors should strive for brevity. The web-based system EasyChair will = be used for submission (https://easychair.org/conferences/?conf=3Dmpc2015). Papers must report previously unpublished work, and must not be submitted concurrently to a journal or to another conference with refereed proceeding= s. Accepted papers must be presented at the conference by one of the authors. Please feel free to write to mpc2015@easychair.org with any questions about academic matters. The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture Notes in Computer Science series, as have all the previous editions. Author= s of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers will be invited to submit revised versions to a special issue of the Elsevier journ= al Science of Computer Programming. PROGRAMME COMMITTEE Ralf Hinze University of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Universit=C3=A9 Laval, Canada Lindsay Groves Victoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Bernhard M=C3=B6ller Universit=C3=A4t Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo Nogueira Universidad Polit=C3=A9cnica de Madrid, Spain Ulf Norell University of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Jos=C3=A9 Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la Rep=C3=BAblica, Uruguay Christine Paulin-Mohring INRIA-Universit=C3=A9 Paris-Sud, France Tom Schrijvers KU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim Sheard Portland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtl=C3=A4nder Universit=C3=A4t Bonn, Germany VENUE The conference will take place in K=C3=B6nigswinter, Maritim Hotel, where accommodation has been reserved. K=C3=B6nigswinter is situated on the right= bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtl=C3=A4nder Universit=C3=A4t Bonn, Germany (co-cha= ir) Jos=C3=A9 Pedro Magalh=C3=A3es University of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write to jv@informatik.uni-bonn.de. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]