6th International Workshop on
Expressiveness in Concurrency
August 23, 1999
Eindhoven, The Netherlands
Held in conjunction with the conference CONCUR'99.
Painting by Oskar Kokoschka
[INRIA logo] [UU logo]


[ Programme | Abstracts | Call For Papers (postscript) | Programme Committee | Invited Speakers | Important Dates | Registration | Related Events ]

The list of accepted papers is available here, and the programme is here.

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.

The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was 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, co-chaired by Ursula Goltz and Rocco De Nicola). The workshop in 1997, which took place in Santa Margherita Ligure 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. The 1998 workshop was held as a satellite workshop of the CONCUR'98 conference in Nice, and like on that occasion EXPRESS'99 will be hosted by the CONCUR'99 conference, to be held in Eindhoven.

Invited speakers
Roberto Amadio (Université de Provence, FR)
Prakash Panangaden (McGill University, CA)

Important dates
Paper submission: May 7, 1999
Notification: June 24, 1999
Final version: August 9, 1999

Ilaria Castellani
INRIA Sophia-Antipolis, France

Björn Victor
Uppsala University, Sweden

Programme committee
Luca Aceto (BRICS, DK)
Eric Badouel (INRIA Rennes, FR)
Steve Brookes (Carnegie Mellon University, US)
Ilaria Castellani (INRIA Sophia-Antipolis, FR)
Rob van Glabbeek (Stanford University, US)
Astrid Kiehn (TU München, DE)
Marta Kwiatkowska (University of Birmingham, UK)
Ugo Montanari (Università di Pisa, IT)
Uwe Nestmann (BRICS, DK)
Catuscia Palamidessi (Penn State University, US)
Björn Victor (Uppsala University, SE)

Local Organisation
Jan Friso Groote, Eindhoven University of Technology.

Additional information
Further information will appear on this web page, or can be obtained by mailing to or Bjorn.Victor@DoCS.UU.SE.

Venue and Registration
The workshop will be held in Eindhoven, the Netherlands, at the premises of the Eindhoven University of Technology. Registration and hotel bookings are handled via the registration procedure of CONCUR'99.

Related events
EXPRESS'99 is organized as a satellite workshop of CONCUR'99, the 10th International Conference on Concurrency Theory, which will take place in Eindhoven on August 24-27, 1999. EXPRESS'99 coincides with two other satellites of CONCUR'99: the PROBMIV'99 workshop on Probabilistic Methods in Verification, and the Symposium on Visual Formal Methods.

Paper submission
The deadline for submission is May 7, 1999. Submissions may be of two forms:

  • Short abstracts: up to 4 pages, in format A4, typeset 11 points
  • Full papers: up to 12 pages, in format A4, typeset 11 points (excluding bibliography and technical appendices)
Both forms of submission should include a separate page with the following informations: title, author(s), corresponding author, contact information and a 12-15 lines summary. Simultaneous submission to other conferences or journals is only allowed for short abstracts.

Electronic submission is strongly encouraged. The paper or abstract should be sent by e-mail in the form of a uuencoded postscript file to both the addresses and Bjorn.Victor@DoCS.UU.SE. The accompanying page should be sent in a separate email message. If surface mail has to be used, then 3 copies of the paper/abstract should be sent to: Bjorn Victor, Dept. of Computer Systems, Uppsala University, Box 325, SE-751 05 Uppsala, SWEDEN.

The proceedings will be published after the workshop as volume 27 of ENTCS.

© Björn Victor
Last modified: Wed, 15-Sep-1999 17:06 MEST
Click to receive email
when this page changes

[ Powered by NetMind ]