MPC'10 2010 - TENTH INTERNATIONAL CONFERENCE ON MATHEMATICS OF PROGRAM CONSTRUCTION (MPC'10)

Website http://mpc-amast2010.fsg.ulaval.ca/ | Edit Freely

Category MPC'10 2010

Deadline: December 07, 2009 | Date: June 21, 2010

Venue/Country: QUÉBEC, Canada

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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.Desharnaisift.ulaval.ca.