10th International Conference on Algebraic Methodology And Software Technology
AMAST'2004

CO-LOCATION: ARTS (AMAST Real Time Workshop),
MPC (Mathematics of Program Construction) and
CMPP (Constructive Methods for Parallel Programming).

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.

[top ]