From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 433807F057 for ; Fri, 10 Oct 2014 16:04:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jose.pedro.magalhaes@cs.ox.ac.uk) identity=pra; client-ip=163.1.2.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.pedro.magalhaes@cs.ox.ac.uk"; x-sender="jose.pedro.magalhaes@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jose.pedro.magalhaes@cs.ox.ac.uk) identity=mailfrom; client-ip=163.1.2.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.pedro.magalhaes@cs.ox.ac.uk"; x-sender="jose.pedro.magalhaes@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay15.mail.ox.ac.uk) identity=helo; client-ip=163.1.2.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.pedro.magalhaes@cs.ox.ac.uk"; x-sender="postmaster@relay15.mail.ox.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokCAOnmN1SjAQKjnGdsb2JhbABKFoNhWASDArg8AZAZiEoIFgERAQEBAQEICwkJFCyEHAsGQwIMKw8CDxcCJBIBBQEsCSKIGwENnhqDHW6LMI57hhgggSyLWoJRAxODVYFUBY9fhlyHEIEug0aPKxgpgwQ7gWprAYEGgUMBAQE X-IPAS-Result: AokCAOnmN1SjAQKjnGdsb2JhbABKFoNhWASDArg8AZAZiEoIFgERAQEBAQEICwkJFCyEHAsGQwIMKw8CDxcCJBIBBQEsCSKIGwENnhqDHW6LMI57hhgggSyLWoJRAxODVYFUBY9fhlyHEIEug0aPKxgpgwQ7gWprAYEGgUMBAQE X-IronPort-AV: E=Sophos;i="5.04,692,1406584800"; d="scan'208";a="100460863" Received: from relay15.mail.ox.ac.uk ([163.1.2.163]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2014 16:04:49 +0200 Received: from smtp1.mail.ox.ac.uk ([129.67.1.207]) by relay15.mail.ox.ac.uk with esmtp (Exim 4.80) (envelope-from ) id 1XcaoK-0004Jr-pR for caml-list@inria.fr; Fri, 10 Oct 2014 15:04:48 +0100 Received: from mail-wg0-f43.google.com ([74.125.82.43]) by smtp1.mail.ox.ac.uk with esmtpsa (TLSv1:RC4-SHA:128) (Exim 4.69) (envelope-from ) id 1XcaoK-0000e8-5y for caml-list@inria.fr; Fri, 10 Oct 2014 15:04:48 +0100 Received: by mail-wg0-f43.google.com with SMTP id m15so4022789wgh.14 for ; Fri, 10 Oct 2014 07:04:48 -0700 (PDT) X-Received: by 10.194.158.101 with SMTP id wt5mr5012468wjb.79.1412949888086; Fri, 10 Oct 2014 07:04:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.242.105 with HTTP; Fri, 10 Oct 2014 07:04:27 -0700 (PDT) From: =?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?= Date: Fri, 10 Oct 2014 15:04:27 +0100 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Oxford-Username: coml0456 Subject: [Caml-list] Mathematics of Program Construction (MPC 2015): first call for papers 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 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 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. Authors 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.