EXPRESS 97

4th workshop on

Expressiveness in Concurrency

8-12 September 1997

Santa Margherita Ligure, Italy

Call for Papers

[CfP in text format] [CfP in ps format] [Submission Guidelines] [Local Arrangements]

Co-Chairs

Catuscia Palamidessi, University of Genova, Italy. catuscia@disi.unige.it
Joachim Parrow, Royal Inst. of Technology, Sweden. joachim@it.kth.se

Scope

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 final meeting of the HCM project EXPRESS, which has been active with this focus since 1994.

Invited speakers

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

A preliminary list of workshop participants is available here

Submissions

We seek research or expository papers, at most 15 pages (12pt font) submitted electronically (postscript format) no later than 2 MAY 1997, as explained here.

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.

Important dates

2 May 1997
deadline for submissions
15 June 1997
notification of acceptance
22 August 1997
deadline for final version

Conference topics

Programme committee

A non-exclusive list of topic central to the workshop:

Models of Computation.
Process Algebras.
Mobile Processes.
Term and Graph Rewriting.
Event Structures.
Petri Nets.
Real-Time Systems.
Coordination Languages.
Concurrent Constraint,
Functional, Logic, and
Object-Oriented Programming.
Luca Aceto, 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 Contact address: expr97@disi.unige.it

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: 12 April 1997 by Catuscia Palamidessi