FOSSACS 2000 - Foundations of Software Science and Computation Structures
FOSSACS seeks papers which offer progress in foundational research
with a clear significance for software science. A central issue is
theories and methods which support the specification, transformation,
verification, and analysis of programs and software systems.
Topics covered are:
- Computational and syntactic foundations of software science:
computation processes over discrete and continuous data,
techniques for their manipulation, and their algorithmic,
algebraic, and logical properties;
- Transition systems, models of concurrency and reactive systems,
and corresponding calculi, algebras, and logics;
- Type theory, domain theory, and their connections to semantics
Program committee
- André Arnold (Bordeaux), arnold@LaBRI.U-Bordeaux.fr
- Mariangiola Dezani (Torino), dezani@di.unito.it
- Harald Ganzinger (Saarbrücken), hg@mpi-sb.mpg.de
- Georg Gottlob (Vienna), gottlob@dbai.tuwien.ac.at
- Fritz Henglein (Copenhagen), henglein@diku.dk
- Jean-Pierre Jouannaud (Orsay), jouannau@lri.fr
- Dexter Kozen (Ithaca NY), kozen@cs.cornell.edu
- Marta Kwiatkowska (Birmingham), mzk@cs.bham.ac.uk
- Giuseppe Longo (Paris), longo@dmi.ens.fr
- Andrew Pitts (Cambridge), ap@cl.cam.ac.uk
- Wolfgang Thomas (Aachen), thomas@informatik.rwth-aachen.de
- Glynn Winskel (Aarhus), gwinskel@daimi.au.dk
- Moshe Y. Vardi (Houston TX), vardi@cs.rice.edu
- Jerzy Tiuryn (Warsaw, chair), tiuryn@mimuw.edu.pl
Chairman
Jerzy Tiuryn (PC chair), tiuryn@mimuw.edu.pl
Further Information:
http://fossacs.mimuw.edu.pl/
Invited Speaker
Abbas Edalat, Imperial College, London
|