FoSSaCS 2001 - Foundations of Software Science and Computation Structures

Conference Description
FoSSaCS seeks papers which offer progress in foundational research with a clear significance to Software Sciences. Central objects of interest are the algebraic, categorical, logical, and geometric theories, models, and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.
Topics covered are in:

Program committee


Furio Honsell
Università di Udine.

Invited Speaker

Gordon Plotkin, Laboratory for Foundations of Computer Science, University of Edinburgh, UK