EXPRESS 97

4th workshop on

Expressiveness in Concurrency

8-12 September 1997

Santa Margherita Ligure, Italy

General Information
Programme (text format)
Some abstracts of invited talks
List of accepted papers (text format) (abstracts) (abstracts in text format)
Proceedings: Volume 7 of Electronic Notes in Theoretical Computer Science (TOC) (Foreword)
List of participants (ps file)
Report for the Bulletin of EATCS (ps file)

Old links

Previously advertised Call for Papers (text format) (ps format)
Instructions for authors. Final version due by 22 August 1997
Call for posters
Registration
Hotel Information
Travel Information

General Information

This meeting aims at a general understanding of the interconnections and relations between formal systems, ranging from programming languages for concurrency to logics. More specifically, we consider methods to compare concurrent programming concepts, such as imperative programming, logic programming, functional programming, concurrent programming, object-oriented programming, dataflow, and the various combinations thereof, on the basis of their relative expressive power. We also consider associated mathematical formalisms such as process algebras, Petri nets, modal logics, rewrite systems etc. from this point of view.

The meeting is mainly intended for active researchers to get together and discuss their latest results and methods. It is also the fourth meeting of the HCM project EXPRESS, which has been active with this focus since 1994. Previous meetings have been held in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco de Nicola), Dagstuhl (1996, chaired by Ursula Goltz).

Co-Chairs
Catuscia Palamidessi, University of Genova, Italy.
Joachim Parrow, Royal Inst. of Technology, Sweden.
Programme committee
Luca Aceto, DK
Eike Best, DE
Frank de Boer, NL
Ilaria Castellani, FR
Philippe Darondeau, FR
Rocco De Nicola, IT
Ursula Goltz, DE
Jan Willem Klop, NL
Catuscia Palamidessi, IT
Joachim Parrow, SE
Frits Vaandrager, NL

Invited speakers
Ralph BACK, FIN
Jean-Jacques LEVY, FR
Eugenio MOGGI, IT
Ugo MONTANARI, IT
Amir PNUELI, IL
Vaughan PRATT, USA
Colin STIRLING, UK
Deadlines
Early registration deadline: 15 July 1997.
Guaranteed hotel reservation: 31 July 1997
Proceedings
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.
Local Organization
Catuscia Palamidessi , expr97@disi.unige.it
Venue
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.
Conference location
Hotel Regina Elena, Lungomare Milite Ignoto 44, 16038 S. Margherita Ligure, Italy; phone: +39 (185) 287003, fax: +39 (185) 284473
Related events
The 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.
The 3rd IC-EATCS Annual School "Models and Paradigms for Concurrency" will be held immediately after the EXPRESS'97 workshop, during 15-19 September 1997, in Udine.

Last Updated: 25 September 1997 by Catuscia Palamidessi