[TYPES/announce] Express '06: first call for papers

[Iain Phillips]

[Of interest to those working on types for concurrency]

                 First Call for Papers

            13th International Workshop on

            Expressiveness in Concurrency

                     EXPRESS'06

            Affiliated with CONCUR 2006
                   Bonn, Germany

                  26 August 2006

            http://www.doc.ic.ac.uk/express06


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.

We shall seek to arrange a special issue of a leading
journal if the quality and quantity of submissions warrants
this.  If such a special issue is arranged then authors of
selected papers will be invited after the workshop to submit
a full version; 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 2006
Notification to Authors:                10 July 2006
Final Version of Accepted Papers due:   24 July 2006


INVITED SPEAKERS:

Robin Milner (Univ. of Cambridge, UK)
Hagen Voelzer (Univ. of Luebeck, Germany)


PROGRAM CO-CHAIRS:

Roberto Amadio (Univ. Paris 7, France)
Iain Phillips (Imperial College London, UK)


PROGRAM COMMITTEE:

Roberto Amadio (Univ. Paris 7, France)
Michele Bugliesi (Univ. Ca' Foscari, Italy)
Nadia Busi (Univ. di Bologna, Italy)
Sibylle Froeschle (Warsaw Univ., Poland)
Antonin Kucera (Masaryk Univ. in Brno, Czech Rep.)
Bas Luttik (Technical Univ. Eindhoven, Netherlands)
Michael Mislove (Tulane Univ., USA)
Uwe Nestmann (TU Berlin, Germany)
Joel Ouaknine (Univ. of Oxford, UK)
Catuscia Palamidessi (INRIA Futurs, LIX Ecole Polytechnique, FR)
Iain Phillips (Imperial College London, UK)
Philippe Schnoebelen (CNRS Cachan, France)
Pawel Sobocinski (Univ. of Cambridge, UK)
Marielle Stoelinga (Univ. of Twente, Netherlands)

CONTACT:

Iain Phillips - iccp at doc.ic.ac.uk
Roberto Amadio - Roberto.Amadio at pps.jussieu.fr