FoSSaCS 2001 - Foundations of Software Science and Computation Structures

Conference Description

Conference Home page

FoSSaCS seeks papers which offer progress in foundational research with a clear significance to Software Sciences. Central objects of interest are the algebraic, categorical, logical, and geometric theories, models, and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.
Topics covered are in:

• Semantic foundations of Computation and Software Sciences: e.g., type theory, domain theory, category theory;

• Operational and syntactic foundations of Computation and Software Sciences: e.g.,
  • computation processes over discrete and continuous data, techniques for their manipulation, and analysis of their algorithmic properties;
  • formal descriptions of general frames for the integration of specification techniques;
  • automata;
  • techniques for proving properties of protocols;
  • transition systems;
  • models of concurrency interactive and reactive systems, and corresponding calculi, algebras, and logics.

Program committee

• Luca Cardelli (Microsoft Research Cambridge, UK) luca@luca.demon.co.uk
• Philippe Darondeau (IRISA Rennes, France) Philippe.Darondeau@inria.fr
• Mariangiola Dezani-Ciancaglini (Università di Torino, Italy) dezani@di.unito.it
• Abbas Edalat (Imperial College London, UK) ae@doc.ic.ac.uk
• Javier Esparza (Technische Universität München, Germany) esparza@informatik.tu-muenchen.de
• Bart Jacobs (Katholieke Universiteit Nijmegen, The Netherlands) Bart.Jacobs@cs.kun.nl
• Matthew Hennessy (University of Sussex, UK) matthewh@cogs.susx.ac.uk
• Martin Hofmann (University of Edinburgh, UK) mxh@dcs.ed.ac.uk
• Furio Honsell CHAIR (DIMI - Università di Udine, Italy) honsell@dimi.uniud.it
• Pierre Lescanne (ENS Lyon, France) Pierre.Lescanne@ens-lyon.fr
• Ugo Montanari (Università di Pisa, Italy) ugo@di.unipi.it
• Mogens Nielsen (Århus Universitet, Denmark) mn@daimi.au.dk
• Mitsu Okada (Tokyo, Japan) mitsu@abelard.flet.keio.ac.jp
• Carolyn Talcott (Stanford University, USA) clt@sail.stanford.edu
• Pawel Urzyczyn (Uniwersytet Warszawski, Poland) urzy@mimuw.edu.pl
• Igor Walukiewicz (Uniwersytet Warszawski, Poland) igw@mimuw.edu.pl

Chair

Invited Speaker

Gordon Plotkin, Laboratory for Foundations of Computer Science, University of Edinburgh, UK