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.