AMAST'2002: Call For Papers

[This conference may be of interest to TYPES readers;
the AMAST conferences include typical topics for the TYPES community,
like for instance: category, abstract data types, type systems for
object-oriented programming

Apologies if you receive this more than once]

9-th International Conference on Algebraic Methodology And Software Technology 
AMAST 2002, September 9-13, 2002
St. Gilles les Bains, Reunion Island, France

Important Dates:
   Paper submissions                  February 1, 2002
   Notification of paper acceptance   April 27, 2002
   Camera ready papers                June 1, 2002
   AMAST 2002 conference              September 9-13, 2002

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

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. Submissions should not have been
published and should not be under consideration for publication
elsewhere. Topics of interest include, but are not limited to, the

   systems software technology
   application software technology
   concurrent and reactive systems
   formal methods in industrial software development
   formal techniques for software requirements, design.

   logic programming, functional programming, object paradigms 
   constraint programming and concurrency
   program verification and transformation
   programming calculi
   specification languages and tools
   formal specification and development case studies.

   logic, category theory, relation algebra, computational algebra
   algebraic foundations for languages and systems, coinduction
   theorem proving and logical frameworks for reasoning
   logics of programs.

SYSTEMS AND TOOLS (for system demonstrations or ordinary papers):
   software development environments
   support for correct software development
   system support for reuse
   tools for prototyping
   component based software development tools
   validation and verification
   computer algebra systems
   theorem proving systems.

We invite prospective authors to submit electronically previously
unpublished papers of high quality.  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 the URL:
Please send a fully self-contained PostScript file to
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
are expected to be published by Springer-Verlag in the Lecture Notes
in Computer Science Series. 
Papers should be received by February 1, 2002.

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

Program Committee: 
V.S. Alagar, E. Astesiano, M. Bidoit, D. Bolignano,
M. Broy, J. Fiadeiro, B. Fischer, K. Futatsugi, A. Haeberer,
N. Halbwachs, A. Haxthausen, D. Hutter, P. Inverardi, B. Jacobs,
M. Johnson, H. Kirchner (PC chair), P. Klint,  T. Maibaum, Z. Manna,
J. Millen, P. Mosses, F. Orejas, R. de Queiroz, T. Rus, 
C. Ringeissen (PC chair assistant), D. Sannella, P.-Y. Schobbens,
G. Scollo, A. Tarlecki, M. Wirsing

Local Organization Chair:  Teodor Knapik, Univ. de la Reunion

Further information:
For regularly updated details of the conference
organization send email to amast@loria.fr 
or visit the AMAST'2002 web page: