11th International Conference on
Algebraic Methodology and Software Technology, AMAST '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.
| Ralph-Johan Back | Åbo Akademi University |
| Lawrence S. Moss | Indiana University |
| Till Mossakowski | Universität Bremen |
Topics of interest include, but are not limited to, the following:
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.
| Luís Barbosa | Universidade do Minho |
| Gilles Barthe | INRIA Sophia-Antipolis |
| Michel Bidoit | École Normale Supérieure de Cachan |
| Gregor v. Bochmann | University of Ottawa |
| Manfred Broy | Technische Universität München |
| Cristian Calude | University of Auckland |
| Christine Choppy | Université Paris Nord |
| Arthur Fleck | University of Iowa |
| Marcelo Frias | Universidad de Buenos Aires |
| Nicolas Halbwachs | Université Grenoble I / CNRS |
| Anne Haxthausen | Technical University of Denmark |
| Michael Johnson | Macquarie University (co-chair) |
| Antonia Lopes | Universidade de Lisboa |
| Michael Mislove | Tulane University |
| Peter Mosses | University of Wales Swansea |
| Monica Nesi | Università degli Studi di L'Aquila |
| Rocco De Nicola | Università degli Studi di Firenze |
| Anton Nijholt | Universiteit Twente |
| Dusko Pavlovic | Kestrel Institute |
| Jaco van de Pol | CWI |
| Charles Rattray | University of Stirling |
| Teodor Rus | University of Iowa |
| Giuseppe Scollo | Università degli Studi di Catania |
| Carolyn Talcott | SRI International |
| Andrzej Tarlecki | Warsaw University |
| Ken Turner | University of Stirling |
| Irek Ulidowski | University of Leicester |
| Varmo Vene | University of Tartu (co-chair) |
| Martin Wirsing | Ludwig-Maximilians-Universität München |
| Michael Johnson | Macquarie University (chair) |
| Egidio Astesiano | Università degli Studi di Genova |
| Robert Berwick | MIT |
| Zohar Manna | Stanford University |
| Michael Mislove | Tulane University |
| Anton Nijholt | University of Twente |
| Maurice Nivat | Université Paris 7 |
| Charles Rattray | University of Stirling |
| Teodor Rus | University of Iowa |
| Giuseppe Scollo | Università degli Studi di Catania |
| Michael Sintzoff | Université Catholique de Louvain |
| Jeannette Wing | Carnegie Mellon University |
| Martin Wirsing | Ludwig-Maximilians-Universität München |
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).
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
© 2006 Institute of Cybernetics at TUT, All Rights Reserved