CALL FOR PAPERS

EXPRESS'98
5th International Workshop on
Expressiveness in Concurrency
September 7, 1998
Nice, France
Held in conjunction with CONCUR'98, COTIC'98, HLCL'98, PAPM'98
[ERCIM logo]
INRIA 


CALL FOR PAPERS (postscript)
SCOPE OF THE WORKSHOP
PROGRAMME COMMITTEE
INVITED SPEAKERS
IMPORTANT DATES
SUBMISSION
PUBLICATION
RELATED EVENTS

Scope of the workshop

The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power.

These workshops were originally held as meetings of the HCM project EXPRESS, which has been active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco de Nicola), and Dagstuhl (1996, chaired by Ursula Goltz). The last workshop, which took place in Santa Margherita Ligure in 1997 and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. EXPRESS'98 is again intended to be organised as a (one day) conference, and is also meant as an occasion to discuss on the inheritance of the Express project and possible directions of future research.

Co-Chairs
Ilaria Castellani
INRIA Sophia-Antipolis, France
ic@sophia.inria.fr

Catuscia Palamidessi
Penn State University, USA
catuscia@cse.psu.edu

Programme committee
Luca Aceto (University of Aalborg, DK)
Roberto Amadio (University of Marseille, FR)
Eike Best (University of Oldenburg, DE)
Steve Brookes (Carnegie Mellon University, USA)
Ilaria Castellani (INRIA Sophia-Antipolis, FR)
Philippe Darondeau (INRIA Rennes, FR)
Rocco De Nicola, (University of Florence, IT)
Jan Willem Klop (CWI, NL)
Patrick Lincoln (SRI, USA)
Catuscia Palamidessi (Penn State University, USA)
Frits Vaandrager (University of Nijmegen, NL)
Glynn Winskel (University of Aarhus, DK)

Invited speakers
Matthew Hennessy (University of Sussex, UK)
P.S. Thiagarajan (SPIC Mathematical Institute, IN)

Important dates
Paper submission: May 22, 1998
Notification: July 3, 1998
Final version: August 7, 1998

Local Organisation
Ilaria Castellani
Projet
MEIJE
INRIA Sophia-Antipolis, BP 93
06902 Sophia-Antipolis Cedex
FRANCE

Paper submission
The deadline for submissions is May 22, 1998. Submissions should not exceed 12 pages (typeset 11 points). Simultaneous submissions to other workshops, conferences or journals are not allowed. Electronic submission is strongly encouraged. Information about the submission procedure will be available soon at the address: http://www.cse.psu.edu/~catuscia/express98/
Notification of acceptance will be sent by July 3, 1998.

Publication
The proceedings are expected to appear as a volume in
Electronic Notes of Theoretical Computer Science, possibly jointly with the proceedings of HLCL'98 (see related events).

Venue
The workshop will be held in Nice, at Hotel Novotel, a modern hotel conveniently located in the heart of town.

Related events
EXPRESS'98 is organized as a satellite workshop of
CONCUR'98, the 9th international conference on Concurrency Theory, which will take place in Nice on September 8-11, 1998. Three other workshops will be held in conjunction with the conference: COTIC'98 (September 6-7), the 2nd international workshop on Concurrent Constraint Programming for Time Critical Applications, HLCL'98 (September 12), the 3rd international workshop on High-Level Concurrent Languages, and PAPM'98, the 6th international workshop on Process Algebra and Performance Modelling (September 12). All these events will take place in hotel Novotel.

Sponsors
The workshop is partially supported by ERCIM, the European Research Consortium for Informatics and Mathematics.

Additional information
For further information email to one of the addresses ic@sophia.inria.fr, catuscia@cse.psu.edu.


Last Updated: 21 January 1998 by Ilaria Castellani