<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<div class="moz-text-html" lang="x-western">
<div class="moz-text-flowed"
style="font-family: -moz-fixed; font-size: 13px;" lang="x-western">
FIRST CALL FOR PAPERS
<br>
<br>
10th International Conference on
<br>
Mathematics of Program Construction
<br>
MPC 2010
<br>
<br>
Québec City, Canada, 21-23 June 2010
<br>
<br>
<a class="moz-txt-link-freetext"
href="http://mpc-amast2010.fsg.ulaval.ca/">http://mpc-amast2010.fsg.ulaval.ca/</a>
<br>
<br>
Colocated with AMAST 2010 (23-26 June 2010)
<br>
<br>
<br>
<br>
BACKGROUND
<br>
<br>
The biennial MPC conferences aim to promote the development of
<br>
mathematical principles and techniques that are demonstrably practical
<br>
and effective in the process of constructing computer programs. Topics
<br>
of interest range from algorithmics to support for program
<br>
construction in programming languages and systems.
<br>
<br>
The previous conferences were held in Twente, The Netherlands (1989),
<br>
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
<br>
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002),
<br>
Stirling, UK (2004, colocated with AMAST '04), Kuressaare, Estonia
<br>
(2006, colocated with AMAST '06) and Marseille, France (2008).
<br>
The 2010 conference will be held in Lac-Beauport, a suburb of Québec
<br>
City, Canada, and will be colocated with AMAST '10 (23-26 June 2010).
<br>
<br>
<br>
<br>
INVITED SPEAKERS
<br>
<br>
Roland Backhouse, University of Nottingham, UK.
<br>
Others to be announced later.
<br>
<br>
<br>
<br>
IMPORTANT DATES
<br>
<br>
* Submission of abstracts: 7 December 2009
<br>
* Submission of full papers: 14 December 2009
<br>
* Notification of authors: 20 February 2010
<br>
* Camera-ready version: 20 March 2010
<br>
<br>
<br>
<br>
TOPICS
<br>
<br>
Papers are solicited on mathematical methods and tools put to use in
<br>
program construction. Topics of interest range from algorithmics to
<br>
support for program construction in programming languages and
<br>
systems. Some typical areas are type systems, program analysis and
<br>
transformation, programming-language semantics, security and program
<br>
logics. Theoretical contributions are welcome provided their relevance
<br>
for program construction is clear. Reports on applications are welcome
<br>
provided their mathematical basis is evident.
<br>
<br>
<br>
<br>
SUBMISSION
<br>
<br>
Submission is in two stages. Abstracts (plain text, 10 to 20 lines)
<br>
must be submitted by 7 December 2009. Full papers (pdf) adhering to
<br>
the LaTeX llncs style must be submitted by 14 December 2009. There
<br>
is no official page limit, but authors should strive for brevity.
<br>
The web-based system EasyChair will be used for submission
<br>
(<a class="moz-txt-link-freetext"
href="https://www.easychair.org/login.cgi?conf=mpc2010">https://www.easychair.org/login.cgi?conf=mpc2010</a>).
<br>
<br>
Papers must report previously unpublished work and not be submitted
<br>
concurrently to another conference with refereed proceedings. In
<br>
particular, they must not be submitted to AMAST 2010. Accepted
<br>
papers must be presented at the conference by one of the authors.
<br>
<br>
The proceedings of MPC'10 will be published in the Lecture Notes in
<br>
Computer Science series of Springer-Verlag.
<br>
<br>
After the conference, the authors of the best papers will be invited
<br>
to submit revised versions to a special issue of the Science of
<br>
Computer Programming journal of Elsevier.
<br>
<br>
<br>
<br>
PROGRAMME COMMITTEE
<br>
<br>
Jules Desharnais Université Laval, Québec, Canada (chair)
<br>
<br>
Philippe Audebaud Ecole Normale Supérieure Lyon, France
<br>
Ralph-Johan Back Abo Akademi University, Finland
<br>
Eerke Boiten University of Kent, UK
<br>
Sharon Curtis Oxford Brookes University, UK
<br>
Jeremy Gibbons University of Oxford, UK
<br>
Lindsay Groves Victoria University of Wellington, New Zealand
<br>
Ian Hayes University of Queensland, Australia
<br>
Eric Hehner University of Toronto, Canada
<br>
Zhenjiang Hu National Institute of Informatics, Japan
<br>
Johan Jeuring Utrecht University, Netherlands
<br>
Christian Lengauer Universität Passau, Germany
<br>
Bernhard Möller Universität Augsburg, Germany
<br>
Shin-Cheng Mu Academia Sinica, Taiwan
<br>
David Naumann Stevens Institute of Technology, USA
<br>
José Nuno Oliveira Universidade do Minho, Portugal
<br>
Alberto Pardo Universidad de la República, Uruguay
<br>
Christine Paulin-Mohring INRIA-Université Paris-Sud, France
<br>
Steve Reeves University of Waikato, New Zealand
<br>
Tim Sheard Portland State University, USA
<br>
Georg Struth Sheffield University, UK
<br>
Tarmo Uustalu Institute of Cybernetics, Estonia<br>
<br>
<br>
VENUE
<br>
<br>
The conference will be held in the Manoir St-Castin
<br>
(<a class="moz-txt-link-freetext"
href="http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/">http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/</a>).
<br>
This resort is located on the shore of Beauport lake,
<br>
15 minutes from downtown Québec City (<a class="moz-txt-link-freetext"
href="http://www.quebecregion.com/e/">http://www.quebecregion.com/e/</a>)
<br>
and 15 minutes from the Jean-Lesage International Airport.
<br>
<br>
<br>
LOCAL ORGANIZERS
<br>
<br>
The local organizers are Claude Bolduc, Jules Desharnais and Béchir
Ktari.
<br>
<br>
Enquiries regarding the programme (submission, etc.) should be
addressed
<br>
to <a class="moz-txt-link-abbreviated"
href="mailto:Jules.Desharnais@ift.ulaval.ca">Jules.Desharnais@ift.ulaval.ca</a>.
<br>
<br>
</div>
</div>
</body>
</html>