[Apologies if you receive this more than once] AMAST 2002 FIRST 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 Goals: 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. Submissions: 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 following: SOFTWARE TECHNOLOGY: systems software technology application software technology concurrent and reactive systems formal methods in industrial software development formal techniques for software requirements, design. PROGRAMMING METHODOLOGY: 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. ALGEBRAIC AND LOGICAL FOUNDATIONS: 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: http://www.springer.de/comp/lncs/authors.html 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 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 France 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