FOSSACS 2004

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:

Algebraic models,
Automata and language theory,
Behavioural equivalences,
Categorical models,
Computation processes over discrete and continuous data,
Infinite state systems
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,
Type systems and type theory.

FOSSACS 2004 Call for Papers

Programme Committee

Parosh Aziz Abdulla (Uppsala, Sweden)
Roberto Di Cosmo (Rocquencourt, France)
Anuj Dawar (Cambridge, UK)
Paul Gastin (Paris, France)
Roberto Gorrieri (Bologna, Italy)
Andrew D. Gordon (Cambridge, UK)
Dietrich Kuske (Dresden, Germany)
Ugo Montanari (Pisa, Italy)
Mogens Nielsen (Aarhus, Denmark)
Vincent van Oostrom (Utrecht, Holland)
Jens Palsberg (Purdue, USA)
Alberto Rubio (Barcelona, Spain)
Davide Sangiorgi (Bologna, Italy)
Vladimiro Sassone (Sussex, UK)
Philippe Schnoebelen (Cachan, France)
Helmut Seidl (Trier, Germany)
Andrzej Tarlecki (Warsaw, Poland)
Thomas Wilke (Kiel, Germany)
Igor Walukiewicz (chair) (Bordeaux, France)

Invited Speaker

Hubert Comon, LSV, ENS Cachan, France

Updated: 22nd March, 2004

Queries aboutFOSSACS `04: