EXPRESS'01	8th International Workshop on Expressiveness in Concurrency August 20, 2001 Aalborg University, Denmark Held in conjunction with the conference CONCUR 2001.

Call for Papers

[ Programme | Abstracts of Accepted Papers | Programme Committee | Invited Speakers | Important Dates | Publication | Registration | Related Events ]

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, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Björn Victor. The EXPRESS'00 workshop was held as a satellite workshop of CONCUR 2000, Pennsylvania State University, USA, co-chaired by Luca Aceto and Björn Victor.

Invited speakers Antoine Petit (ENS de Cachan, F) Zoltán Ésik (Szeged, H, and Aalborg University, DK) Important dates Paper submission: May 20, 2001 (midnight UTC) Notification: June 22, 2001 Final version: July 31, 2001 Co-Chairs Luca Aceto BRICS, Aalborg University, Denmark luca@cs.auc.dk Prakash Panangaden McGill University, Canada prakash@cs.mcgill.ca Programme committee Luca Aceto (BRICS, DK) Franck van Breugel (York University, CA) Ilaria Castellani (INRIA Sophia Antipolis, F) Rance Cleaveland (SUNY at Stony Brook, US) Philippa Gardner (Imperial College, GB) Jan Friso Groote (Eindhoven , NL) Faron Moller (Swansea, GB) Prakash Panangaden (McGill University, CA) Joachim Parrow (KTH, S) Julian Rathke (University of Sussex, UK) Roberto Segala (Bologna, I) Additional information Further information will appear on this web page, or can be obtained by mailing to luca@cs.auc.dk or prakash@cs.mcgill.ca.

Paper submission The deadline for submission is May 20, 2001 (midnight). 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 information: 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 luca@cs.auc.dk and prakash@cs.mcgill.ca. 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: Luca Aceto, Department of Computer Science, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg East, Denmark. Publication The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science). A preliminary version of the proceedings will be available at the workshop. Short abstracts will not be included in the proceedings. After the workshop, selected authors will be invited to submit full versions of their papers to a special issue of Nordic Journal of Computing devoted to selected papers from EXPRESS'01. Venue and Registration The workshop will be held at Aalborg University, Aalborg, DK. Registration is handled via the registration procedure of CONCUR 2001. Related events EXPRESS'01 is organized as one of the six satellite workshops of CONCUR 2001, the 12th International Conference on Concurrency Theory, which will take place on August 21-24, 2001. Information on the other satellite workshops is available from the conference's web page. Sponsors We gratefully acknowledge the support of BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation.

Last modified: Friday, 17-Aug-2001 09:04:52 CEST.