EXPRESS'05

EXPRESS'05

12th International Workshop on

Expressiveness in Concurrency

27 August, 2005

San Francisco, USA

Affiliated with CONCUR 2005 (mirror site CONCUR2005 )

Invited speakers:

Tom Henzinger (EPFL, Switzerland)
Glynn Winskel (University of Cambridge, England)

Call for Papers

Please click here for paper submission

Program Co-Chairs

Jos Baeten
(Eindhoven University of Technology, the Netherlands)
Iain Phillips
(Imperial College London, England)

Program committee

Roberto Amadio,
Université de Provence, CMI Marseille, FR
Jos Baeten (co-chair),
Eindhoven University of Technology, NL
Julian Bradfield,
University of Edinburgh, UK
Michele Bugliesi,
Università Ca' Foscari, IT
Mariangiola Dezani-Ciancaglini,
Università di Torino, IT
Wan Fokkink,
Vrije Universiteit Amsterdam, NL
Thomas Hildebrandt,
IT University of Copenhagen, DK
Kohei Honda,
Queen Mary University of London, UK
Richard Mayr,
North Carolina State University, US
Catuscia Palamidessi,
INRIA Futurs, LIX École Polytechnique, FR
Iain Phillips (co-chair),
Imperial College London, UK
Julian Rathke,
University of Sussex, UK
Eugene Stark,
SUNY Stony Brook, US

Additional information

Further information will appear on this web page.

Important dates

Deadline for Paper Submission:	1 June 2005
Notification to Authors:	11 July 2005
Final version of Accepted Papers due:	25 July 2005

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