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. All previous editions of the AMAST Conference, which were held at Iowa City (1989,1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, starting with the 1993 edition, the first day of each conference was dedicated to Mathematics Education for Software Engineers.
Topics
As in previous years, we invite papers reporting original research
on setting software technology on a firm mathematical basis. We expect two
kinds of submissions for this conference: technical papers and system
demonstrations. Of particular interest is research on using algebraic,
logic, and other formalisms suitable as foundations for software
technology, as well as software technologies developed by means of
logic and algebraic methodologies. Topics of interest include, but are
not limited to, the following:
SOFTWARE TECHNOLOGY:
Invited Speakers
Submissions
We invite prospective authors to submit electronically previously
unpublished papers of high quality. Submissions should not have been
published and should not be under consideration for publication
elsewhere. Papers must be no longer than 15
pages (6 pages for system demonstrations) and should be prepared using LaTeX and the LNCS style that can be downloaded from here. Please send a fully self-contained PostScript file to amast@loria.fr.
If for any reason it is impossible to submit a paper electronically,
authors should send six copies of their submission to the program
chair at the address below.
All papers will be refereed by the programme committee, and will be
judged based on their significance, technical merit, and relevance
to the conference. As in the past, the AMAST'2002 proceedings
will be published by Springer-Verlag in the Lecture Notes
in Computer Science Series.
Papers should be received by February 15, 2002 (new
extended deadline).
Address for non-electronic submissions:
Helene Kirchner
Program Chair of AMAST'2002
LORIA and INRIA-Lorraine
Campus Scientifique
BP 239
54506 Vandoeuvre-les-Nancy Cedex
France
Important Dates
Location
The conference will be held in Saint Gilles les Bains,
Reunion Island (map).
Between Mauritius and Madagascar, Reunion Island is the only part of
the European Union in the southern hemisphere. Great, intense
and spectacular, it is not one a typical tropical island with just
white sandy beaches and coconut palms, but one with breathtaking
contrasts between the three cirques (Mafate, Salazie and Cilaos)
covered by a dense vegetation and surrounded by vertiginous mountains,
a moonlike countryside at La Plaine des Sables, the summit of Piton
des Neiges (3070m), an active volcano called le
Piton
de la Fournaise and some white or black sandy beaches.
Growing longer with repeated volcanic eruptions, the island has currently the surface area of 2512 square km and a population of 660 000. It is probably one of the most successful melting-pots of the world, where Christians, Muslims and Hindus live side by side in perfect harmony. The mixture of culture and origins (Europeans, Africans, Indians, Chinese) contributes to the richness of tradition and cuisine.
The outdoor activities offered by the island include surfing, windsurfing, sailing, diving, hiking, climbing, canyoning, rafting and paragliding.
More information about Reunion Island can be found on the Web pages by Corinne Narassiguin and Reunion Tourist Board.
Formalities: as for France.
Health: no vacination or
special medication are necessary.
Program Committee
Local Organization
Contact
For further information, send email to amast@loria.fr