EXPRESS logo
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)
[ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ]

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