CFP: AMAST'2002

CFP: AMAST'2002

[Christophe Ringeissen]

[We apologize if you receive multiple copies of this message]

AMAST 2002 CALL FOR PAPERS
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

* Topics: 
As in previous years, we invite papers reporting original research
on setting software technology on a firm mathematical basis. 
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:
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:
http://www.springer.de/comp/lncs/authors.html
Please send a fully self-contained PostScript file to
amast@loria.fr

As in the past, the AMAST'2002 proceedings will be published by
Springer-Verlag in the Lecture Notes in Computer Science Series.  

* 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:
http://www.loria.fr/conferences/amast2002