[TYPES] Express 2004 - Call for Papers

[Flavio Corradini]

         11th International Workshop on

         Expressiveness in Concurrency

                  EXPRESS'04


         Affiliated with CONCUR 2004
         The Royal Society, London
         August 30, 2004

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

         Supported by: Eindhoven University of Technology, 
The Netherlands
                       University of Camerino, 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 6, 2004
Notification to Authors:               July 14, 2004
Final Version of Accepted Papers due: August 1, 2004

INVITED SPEAKERS

Rocco De Nicola (Florence University, IT)
Rob van Glabbeek (NICTA, AU)


PROGRAM CO-CHAIRS:

Jos Baeten (Eindhoven Univ. of Technology, NL)
Flavio Corradini (University of Camerino, Italy)


PROGRAM COMMITTEE:

Roberto Amadio, FR, amadio at cmi.univ-mrs.fr
Jos Baeten, NL (co), josb at win.tue.nl
Marco Bernardo, IT, bernardo at sti.uniurb.it
Luca Cardelli, luca at microsoft.com
Flavio Corradini IT (co), flavio.corradini at unicam.it
Mariangiola Dezani-Ciancaglini IT, dezani at di.unito.it
Anna Ingolfsdottir, DK , annai at cs.auc.dk
Marta Kwiatkowska, UK , mzk at cs.bham.ac.uk
Catuscia Palamidessi, FR, catuscia at lix.polytechnique.fr
Davide Sangiorgi, IT, Davide.Sangiorgi at cs.unibo.it
Steve Schneider UK, S.Schneider at cs.rhul.ac.uk
Irek Ulidowski, UK , I.Ulidowski at mcs.le.ac.uk
Jaco van der Pol, NL , Jaco.van.de.Pol at cwi.nl
Walter Vogler, DE , vogler at Informatik.Uni-Augsburg.DE