EXPRESS'04

EXPRESS'04

11th International Workshop on

Expressiveness in Concurrency

30 August, 2004

London, Great Britain

Affiliated with CONCUR 2004

Invited speakers:

Rocco De Nicola (Florence University, Italy)
Rob van Glabbeek (NICTA, Australia)

Call for Papers

Please click here for paper submission

Program Co-Chairs

Jos Baeten
(Eindhoven University of Technology, the Netherlands)
Flavio Corradini
(University of Camerino, Italy)

Program committee

Robert Amadio, FR
Jos Baeten, NL (co)
Marco Bernardo, IT
Luca Cardelli, UK
Flavio Corradini, IT (co)
Mariangiola Dezani-Ciancaglini, IT
Anna Ingolfsdottir, DK
Marta Kwiatkowska, UK
Catuscia Palamidessi, FR
Davide Sangiorgi, IT
Steve Schneider, UK
Irek Ulidowski, UK
Jaco van de Pol, NL
Walter Vogler, DE

Additional information

Further information will appear on this web page.

Important dates

Deadline for Paper Submission:	6 June 2004
Notification to Authors:	14 July 2004
Final version of Accepted Papers due:	1 August 2004

Submission Instructions

Submissions may be of two forms:

Short papers (not included in the proceedings):
up to 4 pages, typeset 11 points
Full papers:
up to 12 pages, typeset 11 points (excluding bibliography and technical appendices)

Simultaneous submission to other conferences or journals is only allowed for short papers. Submissions may already use the ENTCS-style format.

Publication of the Proceedings

The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science). A printed preliminary version of the proceedings will be available at the workshop. Authors will be asked to prepare their final version using the ENTCS-style format.

Authors of selected papers will be invited after the workshop to submit for publication of a full version in a Special Issue of the Journal of Theoretical Computer Science; those submissions will then be subject to a separate reviewing procedure matching the standards of the journal.

e-mail to the webadmin of this site