FOSSACS 2002 - Foundations of Software Science and Computation Structures


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 semantic and syntactic foundations of Computation and Software Sciences, for instance:

Programme Committee


Mogens Nielsen (Denmark),

Invited Speaker

Bruno Courcelle, Labri, University of Bordeaux

Further Information