12th International Conference on
Algebraic Methodology and Software Technology
AMAST 2008
University of Illinois at Urbana-Champaign
Urbana, Illinois, USA
28-31 July, 2008
Registration
Online registration is now closed. If you would like to register please call Conferences and Institutes at +1-217-244-9679 to register by phone.
Background
The major goal of the AMAST conferences is to promote research towards setting software technology on a firm, mathematical basis. Work towards this goal is a collaborative, international effort with contributions from both academia and industry. The envisioned virtues of providing software technology developed on a mathematical basis include
- correctness, which can be proved mathematically,
- safety, so that developed soft are can be used in the implementation of critical systems,
- portability, i.e., independence from computing platforms and language generations, and
- evolutionary change, i.e., the software is self-adaptable and evolves with the problem domain.
The previous conferences were held in: Iowa City, Iowa, USA (1989, 1991 and 2000); Twente, The Netherlands (1993); Montreal, Canada (1995); Munich, Germany (1996); Sydney, Australia (1997); Manaus, Amazonia, Brazil (1998); Reunion Island, France (2002); Stirling, UK (2004, collocated with MPC' 04); Kuressaare, Estonia (2006, colocated with MPC '06).
The conference series has become widely known for disseminating academic and industrial achievements within the broad AMAST areas of interest. Through these meetings AMAST has attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations.
Some AMAST History