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

International Conference on Algebraic Methodology And Software Technology

*Goals*

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.

*Dates*

	* Submissions: February  
	* Conference: September 

*Previous Conferences*

	* http://www.loria.fr/conferences/amast2002 
	* http://www.cs.uiowa.edu/amast2000/


http://www.cs.uiowa.edu/amast2000/amast1.gif

----
CategoryConference