Homepage: http://www.loria.fr/conferences/amast2002

International Conference on Algebraic Methodology And Software Technology


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.


  • Submissions: February
  • Conference: September

Previous Conferences



Revision: r1.1 - 10 Oct 2001 - 14:43 - TWikiGuest
Transform > AlgebraicMethodologyAndSoftwareTechnology
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback