[TYPES/announce] CFP: EXPRESS'07- deadline for abstracts May 28 (extended)

[hilde@itu.dk]

==========deadline extension for abstracts May 28===========

                   CALL FOR PAPERS
                     EXPRESS'07
         http://express07.pps.jussieu.fr/
14th International Workshop on Expressiveness in Concurrency
             Monday, 3 September, 2007.
       Gulbenkian Foundation, Lisbon, Portugal
             Affiliated with CONCUR 2007.
============================================================


SCOPE.
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.

SUBMISSION
Short papers (up to 4 pages, 11pt font) and Full papers (up to 12 pages,
11pt font, excluding bibliography and technical appendices) are accepted,
preferably in ENTCS-style.

IMPORTANT DATES.
Abstract submission: Friday, 28 May, 2007. (EXTENDED!)
Paper submission: Friday, 1 June, 2007.
Notification: Friday, 29 June, 2007.
Submission of preliminary version for the Proceedings: Friday, 6 July, 2007.
Workshop: Monday, 3 September, 2007 (day before CONCUR07).
Submission of final version for ENTCS: Friday, 28 September, 2007.

For more informations, visit http://express07.pps.jussieu.fr/ .

==============================================================