FIRST CALL FOR PAPERS 10th International Conference on Mathematics of Program Construction MPC 2010 Québec 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ébec 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=mpc2010). 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é Laval, Québec, Canada (chair) Philippe Audebaud Ecole Normale Supérieure 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ät Passau, Germany Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan David Naumann Stevens Institute of Technology, USA José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université 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ébec 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échir Ktari. 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/ ]