Conference Description
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.
Accepted Papers
The list of accepted papers is available.
Conference Proceedings
The Proceedings of the conference are now available on line, on Springer-Verlag host: LNCS 2030
Program committee
-
Luca Cardelli
(Microsoft Research Cambridge, UK)
-
Philippe Darondeau (IRISA Rennes, France)
- Mariangiola Dezani-Ciancaglini
(Università di Torino, Italy)
-
Abbas Edalat
(Imperial College London, UK)
-
Javier Esparza
(Technische Universität München, Germany)
-
Bart Jacobs
(Katholieke Universiteit Nijmegen, The Netherlands)
-
Matthew Hennessy
(University of Sussex, UK)
-
Martin Hofmann
(University of Edinburgh, UK)
-
Furio Honsell
CHAIR (DiMI - Università di Udine, Italy)
-
Pierre Lescanne
(ENS Lyon, France)
-
Ugo
Montanari (Università di Pisa, Italy)
-
Mogens Nielsen
(Århus Universitet, Denmark)
-
Mitsu Okada
(Tokyo, Japan)
-
Carolyn Talcott
(Stanford University, USA)
-
Pawel Urzyczyn
(Uniwersytet Warszawski, Poland)
-
Igor Walukiewicz
(Uniwersytet Warszawski, Poland)
Chair
Furio Honsell
DiMI - Università di Udine.
Italy
email: honsell@dimi.uniud.it
Invited Speaker
Gordon Plotkin,
Laboratory for Foundations of Computer Science, University of Edinburgh, UK
Submission
Papers must be submitted in three steps:
- Step 1 - Abstract submission (until October 20, 2000)
Explanation
Abstract submission is no longer possible
The abstract of the paper must be electronically submitted. You will
get a confirmation by email. The confirmation will include a login name and
password, which you need in the second step
- Step 2 - Paper submission (until October 20, 2000)
Explanation
Paper submission is no longer possible
The full paper must be electronically submitted. The login name and password received after
the first step are required.
- Step 3 - Camera-ready copy submission (until January 15, 2001) Explanation
Final Paper submission is no longer possible
Only for those authors whose paper is accepted. In that case, you
are asked to submit the camera-ready copy and the source files.
The login name and password received after the first step are required.
Copyright forms can be faxed at the number +39-0432558499 (attn. Miculan).
The volume editors are "F. Honsell and M. Miculan".
When filling in the electronic forms, PLEASE USE CAPITALS ONLY WHEN
SYNTACTICALLY NEEDED, so e.g. only at the beginning of your Name, not
your FULL NAME.
(The previous line is an example of a wrong usage of capitals.)
Authors who cannot submit their papers electronically should
inform the PC chair at
honsell@dimi.uniud.it
Site maintainer: Marino Miculan
