[TYPES] MPC 2006 First Call for Papers

[Tarmo Uustalu]

MPC welcomes papers on dependently typed programming and types as guidance 
in program construction.



                    FIRST CALL FOR PAPERS

               8th International Conference on 
             Mathematics of Program Construction
                           MPC '06

                   colocated with AMAST '06

             Kuressaare, Estonia,  3-5 July 2006

              http://cs.ioc.ee/mpc-amast06/mpc/


Background

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably useful
and usable 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) and
Stirling, UK (2004, colocated with AMAST '04). The 2006 conference
will be held at Kuressaare, Estonia, colocated with AMAST '06.


Invited speakers

To be announced.


Important dates

    * Submission of abstracts: 27 January 2006
    * Submission of full papers: 3 February 2006
    * Notification of authors: 17 March 2006
    * Camera-ready version: 14 April 2006


Submission

Submission is in two stages. Abstracts (plain text) must be submitted
by 27 January 2006. Full papers (pdf) adhering to the llncs style must
be submitted by 3 February 2006. The web-based submission system will
open in early December 2005. Papers must report previously unpublished
work and not be submitted concurrently to another conference with
refereed proceedings. Accepted papers must be presented at the
conference by one of the authors.

The proceedings of MPC '06 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

Tarmo Uustalu, Inst. of Cybernetics, Tallinn (chair)

Roland Backhouse, Univ. of Nottingham
Eerke Boiten, Univ. of Kent
Venanzio Capretta, Univ. of Ottawa
Sharon Curtis, Oxford Brookes Univ.
Jules Desharnais, Univ. de Laval
Jeremy Gibbons, Univ. of Oxford
Lindsay Groves, Victoria Univ. of Wellington
Ian Hayes, Univ. of Queensland
William Harrison, Univ. of Missouri
Johan Jeuring, Universiteit Utrecht
Dexter Kozen, Cornell Univ.
Christian Lengauer, Univ. Passau
Lambert Meertens, Kestrel Inst.
Bernhard Möller, Univ. Augsburg
Shin-Cheng Mu, Univ. of Tokyo
José Oliveira, Univ. do Minho
Alberto Pardo, Univ. de la República
Ross Paterson, City Univ. London
Ingrid Rewitzky, Univ. of of Stellenbosch
Varmo Vene, Univ. of Tartu


Venue

Kuressaare (pop. 16000) is the main town on Saaremaa, the
second-largest island of the Baltic Sea. Kuressaare is a charming
seaside resort on the shores of the Gulf of Riga highly popular with
Estonians as well as visitors to Estonia.

The scientific sessions of MPC/AMAST 2006 will take place at Saaremaa
Spa Hotel Meri, one among the several new spa hotels in the town. The
social events will involve a number of sites, including the
14th-century episcopal castle. Accommodation will be at Saaremaa Spa
Hotels Meri and Rüütli.

To get to Kuressaare and away, one must pass through Tallinn
(pop. 402000), Estonia's capital city. Tallinn is famous for its
picturesque medieval Old Town, inscribed on UNESCO's World Heritage
List.


Local organizers

MPC/AMAST 2006 is organized by Institute of Cybernetics, a research
institute of Tallinn Univ. of Technology.

The local organizers are Tarmo Uustalu (chair), Monika Perkmann, Juhan
Ernits, Ando Saabas, Olha Shkaravska, Kristi Uustalu.

Contact email address: mpc06(at)cs.ioc.ee.