Foundations of Software Science and Computation Structures

FOSSACS 2004

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


The proceedings have appeared as LNCS vol 2987



CONFERENCE DESCRIPTION

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: