[Prev][Next][Index][Thread]
AMAST'2002 **** NEW EXTENDED DEADLINE ****
-
To: sigparse-list@cs.cmu.edu, softtech@cs.uu.nl, softverf@nist.gov, theorem-provers@ai.mit.edu, theory-a@vm1.nodak.edu, theory-logic@cs.cmu.edu, types@cis.upenn.edu, types@dcs.glasgow.ac.uk, users@mozart-oz.org, vdm-forum@JISCMAIL.AC.UK, vki-list@dfki.de, zforum@prg.ox.ac.uk
-
Subject: AMAST'2002 **** NEW EXTENDED DEADLINE ****
-
From: Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
-
Date: Wed, 30 Jan 2002 07:37:17 +0100
-
Reply-To: Christophe.Ringeissen@loria.fr
AMAST'2002 **** NEW EXTENDED DEADLINE: FEBRUARY 15, 2002 ****
In response to multiple requests, the submission deadline is extended until
FEBRUARY 15, 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 15, 2002 (EXTENDED DEADLINE)
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