[Prev][Next][Index][Thread]
AMAST'2002: Call For Papers
[This conference may be of interest to TYPES readers;
the AMAST conferences include typical topics for the TYPES community,
like for instance: category, abstract data types, type systems for
object-oriented programming
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