EXPRESS'99 6th International Workshop on Expressiveness in Concurrency August 23, 1999 Eindhoven, The Netherlands Held in conjunction with the conference .

CALL FOR PARTICIPATION

[ 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 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 Co-Chairs Ilaria Castellani INRIA Sophia-Antipolis, France ic@sophia.inria.fr Björn Victor Uppsala University, Sweden Bjorn.Victor@DoCS.UU.SE 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 ic@sophia.inria.fr 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 ic@sophia.inria.fr 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. Publication The proceedings will be published after the workshop as volume 27 of ENTCS.