[Prev][Next][Index][Thread]

Express 2003 - Last Call for Papers



        10th International Workshop on

        Expressiveness in Concurrency

                 EXPRESS'03


        Affiliated with CONCUR 2003
        Marseille, France
        September 2, 2003

        http://express03.epfl.ch/

        Supported by: EPFL, Switzerland
                      Univ. of L'Aquila, Italy



AIMS OF THE WORKSHOP

The EXPRESS workshops aim at bringing together researchers
interested in the relations between various formal systems,
particularly in the field of Concurrency. More specifically, they
focus on the comparison between programming concepts (such as
concurrent, functional, imperative, logic and object-oriented
programming) and between mathematical models of computation (such
as process algebras, Petri nets, event structures, modal logics,
rewrite systems etc.) on the basis of their relative expressive
power.

SUBMISSIONS:

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.


IMPORTANT DATES:

Deadline for Paper Submission:        June   1, 2003
Notification to Authors:              July  18, 2003
Final Version of Accepted Papers due: August 3, 2003

INVITED SPEAKERS

Luca Aceto          (Aalborg University, DK)
Michel Raynal       (IRISA , FR)


PROGRAM CO-CHAIRS:

Flavio Corradini  (University of L'Aquila, Italy)
Uwe Nestmann      (EPFL, Switzerland)


PROGRAM COMMITTEE:

Jos Baeten                          (Eindhoven Univ. of Technology, NL)
Michele Boreale                     (Univ. of Firenze, IT)
Flavio Corradini                    (Univ. of 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. of Verona, IT)
Michael Mislove                     (Tulane Univ., US)
Uwe Nestmann                        (EPFL, CH)
Catuscia Palamidessi                (INRIA, FR)
Alberto Sangiovanni-Vincentelli     (Univ. of Berkeley, US)
Peter Sewell                        (Univ. of Cambridge, UK)
Walter Vogler                       (Univ. of Augsburg, DE)
Igor Walukiewicz                    (Univ. of Bordeaux, FR)