FOSSACS 2000 - Foundations of Software Science and Computation Structures

CONFERENCE DESCRIPTION

Programme

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

Further Information: http://fossacs.mimuw.edu.pl/

Invited Speaker