11th International Conference on
Algebraic Methodology and Software Technology, AMAST '06

Kuressaare, Estonia, 5-8 July 2006
colocated with MPC '06

MPC/AMAST 2006 programme and local information


The major goal of the AMAST conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. This goal is achieved by a large international cooperation with contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned as being capable of providing software that is (a) correct, and the correctness can be proved mathematically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i.e., independent of computing platforms and language generations, and (d) evolutionary, i.e., it is self-adaptable and evolves with the problem domain.

The previous conferences were held in Iowa City, Iowa, USA (1989, 1991 and 2000), Twente, The Netherlands (1993), Montréal, Canada (1995), Munich, Germany (1996), Sydney, Australia (1997), Manaus, Amazonia, Brazil (1998), Réunion Island, France (2002) and Stirling, UK (2004, colocated with MPC' 04). The 2006 conference will be held at Kuressaare, Estonia, colocated with MPC '06.

The conference series has become widely known for disseminating academic and industrial achievements within the broad AMAST areas of interest. Through these meetings AMAST has attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations.

Some AMAST history.

Invited speakers

Ralph-Johan BackÅbo Akademi University
Lawrence S. MossIndiana University
Till MossakowskiUniversität Bremen

Important dates


Topics of interest include, but are not limited to, the following:

Submission and publication

Two kinds of submissions are solicited for this conference: technical papers and system demonstrations. Papers may report academic or industrial progress, and papers which deal with both are especially well-regarded.

Submission is in two stages. Abstracts (plain text) must be submitted by 3 February 2006 (extended). Full papers (pdf) adhering to the llncs style and not longer than 15 pages (6 pages for system demonstrations) must be submitted by 10 February 2006 (extended).

Submission to AMAST 2006 is closed.

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.

All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference.

The proceedings of AMAST '06 will be published in the Lecture Notes in Computer Science series of Springer-Verlag.

Programme committee

Luís BarbosaUniversidade do Minho
Gilles BartheINRIA Sophia-Antipolis
Michel BidoitÉcole Normale Supérieure de Cachan
Gregor v. BochmannUniversity of Ottawa
Manfred BroyTechnische Universität München
Cristian CaludeUniversity of Auckland
Christine ChoppyUniversité Paris Nord
Arthur FleckUniversity of Iowa
Marcelo FriasUniversidad de Buenos Aires
Nicolas HalbwachsUniversité Grenoble I / CNRS
Anne HaxthausenTechnical University of Denmark
Michael Johnson Macquarie University (co-chair)
Antonia LopesUniversidade de Lisboa
Michael MisloveTulane University
Peter MossesUniversity of Wales Swansea
Monica NesiUniversità degli Studi di L'Aquila
Rocco De NicolaUniversità degli Studi di Firenze
Anton NijholtUniversiteit Twente
Dusko PavlovicKestrel Institute
Jaco van de PolCWI
Charles RattrayUniversity of Stirling
Teodor RusUniversity of Iowa
Giuseppe ScolloUniversità degli Studi di Catania
Carolyn TalcottSRI International
Andrzej TarleckiWarsaw University
Ken TurnerUniversity of Stirling
Irek UlidowskiUniversity of Leicester
Varmo Vene University of Tartu (co-chair)
Martin WirsingLudwig-Maximilians-Universität München

AMAST steering committee

Michael Johnson Macquarie University (chair)
Egidio AstesianoUniversità degli Studi di Genova
Robert BerwickMIT
Zohar MannaStanford University
Michael MisloveTulane University
Anton NijholtUniversity of Twente
Maurice NivatUniversité Paris 7
Charles RattrayUniversity of Stirling
Teodor RusUniversity of Iowa
Giuseppe ScolloUniversità degli Studi di Catania
Michael SintzoffUniversité Catholique de Louvain
Jeannette WingCarnegie Mellon University
Martin WirsingLudwig-Maximilians-Universität München

Further programme information

Enquiries regarding the programme (submission etc.) should be addressed to the AMAST '06 PC co-chairs Michael Johnson (mike(at)ics.mq.edu.au) and Varmo Vene (varmo(at)cs.ut.ee).

Local information

All local information, incl. information on registration and cost, information regarding the venue and information on the local organization, is on the joint MPC/AMAST '06 local information page.

Last changed June 13, 2006 1:15 EET by local organizers, mpc06(at)cs.ioc.ee