[Apologies for multiple copies] SUBMISSION DEADLINE: FEBRUARY 1, 2002 ************************************* 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 15-Jan-2002 08:46:00 -0400,5616;000000000000-00000000