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.