Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.uiowa.edu/amast2000/
Email: amast2000@cs.uiowa.edu
Description:
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.
Speakers: Egidio Astesiano (University of Genova), Yuri Gurevich (Microsoft and University of Michigan), Michael Healy (Boeing and University of Washington), David Lorge Parnas (McMaster University), Jeannette Wing (Carnegie Mellon University), Martin Wirsing (Ludwig-Maximilian University)
Mail Address:
Teodor Rus 201J MLH University of Iowa Iowa City, IA 52242-1419
Date received: June 11, 1999
© 2008 Atlas Conferences Inc.