Foundations of Software Science and Computation Structures


A member conference of the
European Joint Conferences on Theory and Practice of Software


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:

List of accepted papers together with downloadable abstracts.

Fossacs '02 Call for Papers and the Electronic Submission page.

Programme Committee


Mogens Nielsen (Denmark),

Invited Speaker

Bruno Courcelle, Labri, University of Bordeaux

Updated: September 5, 2001 Queries: FOSSACS `02 Webmaster