CALL FOR PAPERS
8-th International Conference on
Algebraic Methodology And Software Technology
AMAST '2000, 20 May to 27 May 2000, Iowa City, Iowa, USA
Invited Speakers:
Egidio Astesiano, University of Genoa
Yuri Gurevich, Microsoft and University of Michigan
Michael Healy, Boeing and University of Washington
Oege de Moor, Oxford University Computing Laboratory
David Lorge Parnas, McMaster University
Jeannette Wing, Carnegie Mellon University
Martin Wirsing, Ludwig-Maximilian University.
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 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
The University of Iowa (1989,1991), University of Twente (1993),
Concordia University, Montreal (1995),
Ludwig-Maximilian University, Munich (1996),
Macquarie University, Sydney, Australia, (1997), and
Catholic University of Rio De Janeiro, Brazil (1999), 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.
AMAST'2000 is meant as an anniversary where achievements of the
first ten years of the AMAST movement will be celebrated,
current trends in using formal methods for software
developments will be examined, and the opportunity for
adapting AMAST goals to the problems raised by the new
developments in software technology will be considered.
This will accelerate the accomplishment of the AMAST goals
and will strengthen the international cooperative research
initiated by the AMAST movement.
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
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 should be between five
and fifteen pages and should be prepared using LaTeX and the LNCS style
file, llncs.sty, that can be downloaded from the
URL: http://www.cs.uiowa.edu/amast2000.
Papers longer than fifteen pages may be automatically rejected.
Please send a fully self-contained postscript file to
"[log in to unmask]".
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 proceedings of the AMAST'2000
will be published by Springer-Verlag in the Lecture Notes in Computer
Science Series. Papers should be received by First of December 1999.
Address for non-electronic submissions and enquiries:
Teodor Rus (Program Chair of AMAST'2000)
Department of Computer Science
The University of Iowa
Iowa City, IA 52242, USA
Phone: 319-335-0742
Fax: 319-335-3624
Email: [log in to unmask]
AMAST Steering Committee:
Egidio Astesiano email: [log in to unmask]
Robert Berwick email: [log in to unmask]
Zohar Manna email: [log in to unmask]
Michael Mislove email: [log in to unmask]
Anton Nijholt email: [log in to unmask]
Maurice Nivat email: [log in to unmask]
Jacques Printzs email: [log in to unmask]
Charles Rattray email: [log in to unmask]
Teodor Rus email: [log in to unmask]
Giuseppe Scollo email: [log in to unmask]
John Staples email: [log in to unmask]
Jeannette Wing email: [log in to unmask]
Martin Wirsing email: [log in to unmask]
Important Dates:
Paper submissions 15 January 2000
Reviewing process starts as soon as a paper arrives
System demonstrations submission 15 January 2000
PC meeting for paper selection 10 February 2000
Notification of pasper acceptance 15 February 2000
Camera ready papers in Iowa City 1 March 2000
Proceedings package sent to LNCS 15 March 2000
AMILP international workshop 20 - 22 May 2000
AMAST 2000 conference 23 - 27 May 2000s
Program Committee:
Andre Arnold, France Egidio Astesiano, Italy
Gabriel Baum, Argentina Didier Begay, France
Robert Berwick, USA Michel Bidoit,France
Val Tannen, USA Gregor Bochmann, Canada
Chris Brink, South Africa Manfred Broy, Germany
Christian Calude, New Zealand Christine Choppy, France
Philippe Darondeau, France Jim Davies, UK
Rocco De Nicola, Italy Ruy de Queiroz, Brazil
Arthur Fleck, USA Marcelo Frias, Argentina
Kokichi Futatsugi, Japan Dov Gabbay, UK
Harald Ganzinger, Germany Radu Grosu, USA
Yuri Gurevich, USA Armando Haeberer, Brazil
Nicolas Halbwachs, France Michael Healy, USA
Peter Henderson, UK Yoshi Inagaki, Japan
Paola Inverardi, Italy Dan Ionescu, Canada
Ryszard Janicki, Canada Kari Jarkko, USA
Michael Johnson, Australia Helene Kirchner, France
Gary Leavens, USA Luigi Logrippo, Canada
Thomas Maibaum, UK Zohar Manna, USA
Chris Marlin, Australia Michael Mislove, USA
Peter Mosses, Denmark George Nelson, USA
Anton Nijholt, The Netherlands Maurice Nivat, France
Michael O'Donnell, USA Fernando Orejas, Spain
David Lorge Parnas, Canada Sriram Pemmaraju, India
Don Pigozzi, USA Jacques Printz, France
Charles Rattray, UK Teodor Rus, USA
Giuseppe Scollo, The Netherlands Stephen Seidman, USA
Roger Shultz, USA Ken Slonneger, USA
Douglas Smith, USA John Staples, Australia
Carolyn Talcott, USA Andrzej Tarlecki, Poland
Alagar Vangalur, Canada Rob van Glabbeek, USA
Paulo Veloso, Brazil Brian Warboys, UK
Jeannette Wing, USA Martin Wirsing, Germany
Hantao Zhang, USA
Further information:
For regularly updated details of the conference
organization send email to
"[log in to unmask]" or visit http://www.cs.uiowa.edu/amast2000
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|