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 - [log in to unmask] Roberto Amadio - [log in to unmask]