Foundations of Software Science and Computation Structures


A member conference of the
European Joint Conferences on Theory and Practice of Software
Warsaw, April 5-13, 2003

ETAPS 2003


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: algebraic models; automata and language theory; behavioural equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; modal, spatial, and temporal logics; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; type systems and type theory.

The Programme Chair is Andrew Gordon (UK), and the Invited Speaker is Samson Abramsky (UK).

Prior meetings were in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genova (2001), and Grenoble (2002).

The committee received 96 submissions, of which 2 were withdrawn.  Of the remaining 94, we accepted 26 for presentation at the conference.

The proceedings appears as Volume 2620 of Springer's Lecture Notes in Computer Science, ISBN 3-540-00897-7.


Hartmut Ehrig (Germany, EATCS representative), Andrew Gordon (UK, Chair 2003), Roberto Gorrieri (Italy, EATCS representative), Mogens Nielsen (Denmark, Chair 2002),  Igor Walukiewicz (France, Chair 2004).


Witold Charatonik (Germany and Poland), Adriana Compagnoni (USA), Vincent Danos (France), Andrew Gordon (UK, Chair), Roberto Gorrieri (Italy), Marta Kwiatkowska (UK), Eugenio Moggi (Italy), Uwe Nestmann (Switzerland), Mogens Nielsen (Denmark), Flemming Nielson (Denmark), François Pottier (France), Francesco Parisi Presicce (Italy), Dusko Pavlovic (USA), P.S. Thiagarajan (Singapore), Igor Walukiewicz (France), Pierre Wolper (Belgium).

FOSSACS 2003 website