From: Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
To: categories@mta.ca
Subject: CFP: AMAST'2002
Date: Fri, 21 Dec 2001 16:38:35 +0100 (MET) [thread overview]
Message-ID: <15395.22395.395902.354072@chtapach.loria.fr> (raw)
[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
reply other threads:[~2001-12-21 15:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=15395.22395.395902.354072@chtapach.loria.fr \
--to=christophe.ringeissen@loria.fr \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).