Foundations of Software Science and Computation Structures


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

The proceedings have appeared as LNCS vol 2987


FOSSACS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Topics covered include, but are not limited to:

FOSSACS 2004 Call for Papers

Programme Committee

Invited Speaker

Hubert Comon, LSV, ENS Cachan, France

Updated: 22nd March, 2004 Queries aboutFOSSACS `04: