----------------------------------------------------- 18th International Workshop on Expressiveness in Concurrency EXPRESS'11 ------------------------------------------------------ September 5, 2011, Aachen (Germany) Affiliated with CONCUR 2011 http://www.lix.polytechnique.fr/comete/EXPRESS11/ ------------------------------------------------------ SCOPE AND TOPICS: The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. Their focus has traditionally been 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, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. Since EXPRESS'09 we have made this development "official": we are now aiming to bring together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing. SUBMISSION GUIDELINES: Paper submission is performed through the EXPRESS '11 EASY CHAIR SERVER and it goes in in two steps: abstract submission and paper submission. Submissions may be of two forms: Short papers (not included in the proceedings): up to 5 pages, typeset 11 points Full papers: up to 15 pages, typeset 11 points Simultaneous submission to other conferences or journals is only allowed for short papers. The submissions must already use the EPTCS-style format. The final versions of the accepted papers will be published in the EPTCS (Electronic Proceedings in Theoretical Computer Science). It is recommended that the final version of the paper includes as much as possible proofs and technical material. The EPTCS proceedings will be available at the workshop. Special issue: The very best papers will be invited in a special issue of a high-quality journal; such papers will then be peer-reviewed and selected according to the standard journal policy. However, differently from a regular journal submission, papers will be handled quickly and the special issue should appear during 2012. INVITED SPEAKERS: Wan Fokkink (Vrije Universiteit Amsterdam, NL) - joint invited speaker with SOS 2011 Björn Victor (Uppsala University, SE). IMPORTANT DATES: Abstract submission: May 27, 2011 Paper submission: June 3, 2011 Notification date: July 11, 2011 Camera ready version: July 29, 2011 WORKSHOP CO-CHAIRS: Bas Luttik (Eindhoven University of Technology, NL) Frank Valencia (LIX, CNRS & Ecole Polytechnique, F) PROGRAMME COMMITTEE: Filippo Bonchi (CNRS & ENS Lyon, FR) Sibylle Fröschle (Universität Oldenburg, DE) Rob van Glabbeek (NICTA, Sydney, AUS) Cosimo Laneve (University of Bologna, IT) Sergio Maffeis (Imperial College London, UK) Faron Moller (Swansea University, UK) Philippe Schnoebelen (LSV, CNRS & ENS Cachan, FR) Jiri Srba (Aalborg University, DK) Jan Strejček(Masaryk University, Brno, CZ) Alwen Tiu (ANU, Canberra, AUS)