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

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.