EXPRESS logo
EXPRESS'02
9th International Workshop on
Expressiveness in Concurrency
August 19, 2002
Brno University, Czech Republic
Affiliated with CONCUR 2002, 20 - 23 August 2002.
Invited speakers:
Catuscia Palamidessi
(Penn State University, USA)
Igor Walukiewicz
(Warsaw University, Poland)
[ Home | Call for Papers | Accepted Papers | Programme | Online Publication ]
Last modified: Tue Aug 6 14:57:54 MEST 2002

Call for Papers

Co-Chairs

Uwe Nestmann
(EPFL, Switzerland)
Prakash Panangaden
(McGill University, Canada)

Programme committee

Martin Berger
(University of London, UK)
Alan Jeffrey
(DePaul University, US)
Barbara König
(Technical University München, DE)
Francois Laroussinie
(ENS Cachan, FR)
James Leifer
(INRIA Rocquencourt, FR)
Massimo Merro
(EPFL, CH)
Faron Moller
(University of Wales Swansea, UK)
Uwe Nestmann
(EPFL, CH)
Prakash Panangaden
(McGill University, CA)
Arend Rensink
(University of Twente, NL)
Peter Sewell
(University of Cambridge, UK)
Gianluigi Zavattaro
(University of Bologna, IT)

Additional information

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

Important dates

Paper submission:June 2, 2002(closed!)
Notification:June 29, 2002(done!)
Final version:August 4, 2002(received!)

Submission Instructions (with 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'02 Submission Site. Electronic submission is strongly encouraged. If surface mail has to be used, then 3 copies of the paper/abstract should be sent to:

Uwe Nestmann
EPFL-LAMP, Ecublens INR 317
CH-1015 Lausanne, Switzerland.
or to
Prakash Panangaden
School of Computer Science, McGill University
3480 rue University (Salle 318)
Montreal, Quebec, H3A 2A7, Canada

Publication

The proceedings will be published after the workshop as number 68.2 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.

As for EXPRESS'01, selected papers will be invited after the workshop for publication of a full version of the paper in number 2/03 of the Nordic Journal of Computing.

e-mail to the webadmin of this site