FM 1999: Toulouse, France, Volume 2

Foundations of System Specification (IFIP WG 1.3)

European Theory and Practice of Software (ETAPS)

Program Verification

Integration of Notation and Techniques

Formal Description of Programming Concepts (IFIP WG 2.2)

Open Information Systems

Co-design

Refinement

Safety

OBJ/Cafe OBJ/Maude

Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST)

Avionics

Works-in-Progress

Industrial Experience