The meeting is mainly intended for active researchers to get together and discuss their latest results and methods. It is also the final meeting of the HCM project EXPRESS, which has been active with this focus since 1994.
Ralph BACK, University of Abo, FIN
Jean-Jacques LEVY, INRIA Rocquencourt, FR
Eugenio MOGGI, University of Genova, IT
Ugo MONTANARI, University of Pisa, IT
Amir PNUELI, The Weizmann Institute, IL
Vaughan PRATT, Stanford University, USA
Colin STIRLING,University of Edinburgh, UK
The proceedings will appear as a volume in the Electronic Notes of Theoretical Computer Science. A selection of papers will be invited to submit for a special issue of Information and Computation dedicated to the conference.
|2 May 1997
deadline for submissions
|15 June 1997
notification of acceptance
|22 August 1997
deadline for final version
A non-exclusive list of topic central to the workshop:
Models of Computation.
Term and Graph Rewriting.
Functional, Logic, and
University of Aalborg, DK
Jan Bergstra, University of Amsterdam, NL
Eike Best, University of Oldenburg, DE
Frank de Boer, University of Utrecth, NL
Ilaria Castellani, INRIA Sohia-Antipolis, FR
Philippe Darondeau, INRIA Rennes, FR
Rocco De Nicola, University of Firenze, IT
Ursula Goltz, University of Hildesheim, DE
Jan Willem Klop, CWI, NL
Catuscia Palamidessi, University of Genova, IT
Joachim Parrow, Royal Inst. of Technology, SE
Frits Vaandrager, University of Nijmegen, NL
|Local Organization: Catuscia Palamidessi||