From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5054 Path: news.gmane.org!not-for-mail From: Jules Desharnais Newsgroups: gmane.science.mathematics.categories Subject: Call for papers: Mathematics of Program Construction Date: Mon, 13 Jul 2009 17:44:53 -0400 Message-ID: Reply-To: Jules Desharnais NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1247578868 8787 80.91.229.12 (14 Jul 2009 13:41:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 14 Jul 2009 13:41:08 +0000 (UTC) To: Jules.Desharnais@ift.ulaval.ca Original-X-From: categories@mta.ca Tue Jul 14 15:41:00 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MQiFe-00065q-9Q for gsmc-categories@m.gmane.org; Tue, 14 Jul 2009 15:40:58 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MQhYe-0004wI-7Y for categories-list@mta.ca; Tue, 14 Jul 2009 09:56:32 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5054 Archived-At: FIRST CALL FOR PAPERS 10th International Conference on Mathematics of Program Construction MPC 2010 Qu=E9bec City, Canada, 21-23 June 2010 http://mpc-amast2010.fsg.ulaval.ca/ Colocated with AMAST 2010 (23-26 June 2010) 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. Topics of interest range from algorithmics to support for program construction in programming languages and systems. 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 '04), Kuressaare, Estonia (2006, colocated with AMAST '06) and Marseille, France (2008). The 2010 conference will be held in Lac-Beauport, a suburb of Qu=E9bec City, Canada, and will be colocated with AMAST '10 (23-26 June 2010). INVITED SPEAKERS Roland Backhouse, University of Nottingham, UK. Others to be announced later. IMPORTANT DATES * Submission of abstracts: 7 December 2009 * Submission of full papers: 14 December 2009 * Notification of authors: 20 February 2010 * Camera-ready version: 20 March 2010 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. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security and program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 7 December 2009. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 14 December 2009. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://www.easychair.org/login.cgi?conf=3Dmpc2010). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. In particular, they must not be submitted to AMAST 2010. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC'10 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. PROGRAMME COMMITTEE Jules Desharnais Universit=E9 Laval, Qu=E9bec, Canada (chair) Philippe Audebaud Ecole Normale Sup=E9rieure Lyon, France Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Sharon Curtis Oxford Brookes University, UK Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Zhenjiang Hu National Institute of Informatics, Japan Johan Jeuring Utrecht University, Netherlands Christian Lengauer Universit=E4t Passau, Germany Bernhard M=F6ller Universit=E4t Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan David Naumann Stevens Institute of Technology, USA Jos=E9 Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la Rep=FAblica, Uruguay Christine Paulin-Mohring INRIA-Universit=E9 Paris-Sud, France Steve Reeves University of Waikato, New Zealand Tim Sheard Portland State University, USA Georg Struth Sheffield University, UK Tarmo Uustalu Institute of Cybernetics, Estonia VENUE The conference will be held in the Manoir St-Castin (http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/). This resort is located on the shore of Beauport lake, 15 minutes from downtown Qu=E9bec City (http://www.quebecregion.com/e/) and 15 minutes from the Jean-Lesage International Airport. LOCAL ORGANIZERS The local organizers are Claude Bolduc, Jules Desharnais and B=E9chir Kta= ri. Enquiries regarding the programme (submission, etc.) should be addressed to Jules.Desharnais@ift.ulaval.ca. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]