EXPRESS logo
EXPRESS'03
10th International Workshop on
Expressiveness in Concurrency
September 2, 2003
Marseille, France
Affiliated with CONCUR 2003, 3 - 5 September 2003.
Invited speakers:
Luca Aceto
(Aalborg University, DK)
Michel Raynal
(IRISA , FR)
[ Home | Invited Talks | Call for Papers | Accepted Papers | Preliminary Programme | Online Publication ]
Tue Aug 5 13:50:52 CEST 2003

Call for Papers

Co-Chairs

Flavio Corradini
(Univ. di L'Aquila, Italy)
Uwe Nestmann
(EPFL, Switzerland)

Programme committee

Jos Baeten
(Eindhoven Univ. of Technology, NL)
Michele Boreale
(Univ. di Firenze, IT)
Flavio Corradini
(Univ. di L'Aquila, IT)
Zoltan Esik
(Univ. of Szeged, HU)
Wan Fokkink
(CWI, NL)
Andrew Gordon
(Microsoft Research, UK)
Irene Guessarian
(Univ. Paris 6, FR)
Massimo Merro
(Univ. di Verona, IT)
Michael Mislove
(Tulane Univ., US)
Uwe Nestmann
(EPFL, CH)
Catuscia Palamidessi
(INRIA, FR)
Peter Sewell
(Univ. of Cambridge, UK)
Alberto Vincentelli
(Univ. of Berkeley, US)
Walter Vogler
(Univ. of Augsburg, DE)
Igor Walukiewicz
(Univ. of Bordeaux, FR)

Additional information

Further information will appear on this web page, or can be obtained by e-mailing to:
express03 @ epfl.ch

Important dates

Paper submission:June 1, 2003CLOSED
Notification:July 18, 2003DONE
Final version:August 3, 2003OK

Submission Instructions (using CyberChair)

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.

Please follow the submission instructions
at the EXPRESS'03 Submission Site.

Publication

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