Catuscia Palamidessi, University of Genova, Italy.
Joachim Parrow, Royal Inst. of Technology, Sweden.
Eike Best, DE
Frank de Boer,
Philippe Darondeau, FR
Rocco De Nicola,
Ursula Goltz, DE
Jan Willem Klop, NL
Ralph BACK, FIN
Jean-Jacques LEVY, FR
Eugenio MOGGI, IT
Ugo MONTANARI, IT
Amir PNUELI, IL
Vaughan PRATT, USA
Colin STIRLING, UK
deadline: 15 July 1997.
Guaranteed hotel reservation: 31 July 1997
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.
Catuscia Palamidessi ,
The conference will take place at Hotel
Regina Elena, a 4 stars hotel with private beach, located in
S. Margherita Ligure.
This is a beautiful sea resort in Liguria very
close to Portofino promontory and about 30 km east of Genova.
Hotel Regina Elena,
Lungomare Milite Ignoto 44,
16038 S. Margherita Ligure, Italy;
phone: +39 (185) 287003,
fax: +39 (185) 284473
7th conference on Category Theory and Computer Science
will be held immediately before the EXPRESS'97 workshop,
during 4-6 September 1997, also in Santa Margherita Ligure.
3rd IC-EATCS Annual School
"Models and Paradigms for Concurrency"
will be held immediately after the EXPRESS'97 workshop, during
15-19 September 1997,