Schedule
Topics
Accepted Papers
Location
Submission Guidelines
Programme Committee
Sponsors
Call for Papers (text)
local info
University of Stirling
Maps & Guides
contact
links
AMAST
AMAST 2002

AMAST 2004 - Stirling - July 12-16 
2004

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.

University of Stirling

 


Publication

AMAST 2004 is published as LNCS 3116
(available via SpringerLink)

contact: amast@cs.stir.ac.uk


bcs-facs lms epsrc

[top to top]

''