[TYPES] Express'05 First CFP

[Iain Phillips]

               First Call for Papers

           12th International Workshop on

           Expressiveness in Concurrency

                    EXPRESS'05


           Affiliated with CONCUR 2005
            San Francisco, California
                 27 August 2005

           http://www.win.tue.nl/Express05

Supported by: Eindhoven University of Technology,
The Netherlands

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 a full version for publication in a
Special Issue of a leading journal; those submissions will
then be subject to a separate reviewing procedure matching
the standards of the journal.


IMPORTANT DATES:

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


INVITED SPEAKERS:

Thomas Henzinger (EPFL, CH)
Glynn Winskel (Univ. of Cambridge, UK)


PROGRAM CO-CHAIRS:

Jos Baeten (Eindhoven Univ. of Technology, NL)
Iain Phillips (Imperial College London, UK)


PROGRAM COMMITTEE:

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

CONTACT:

Jos Baeten - josb at win.tue.nl
Iain Phillips - iccp at doc.ic.ac.uk