Call for Participation 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 The early registration deadline is *July 18th*. http://depend.cs.uni-sb.de/concur06 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. INVITED SPEAKERS: Robin Milner (Cambridge, UK) - Joint Express-Infinity-SOS Hagen Voelzer (Luebeck, Germany) - Express PRELIMINARY PROGRAMME: 9.00 - 10.00: Express invited talk: Hagen Voelzer * When a system is fairly correct 10.00 - 10.30: Morning Session * Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Fair Pi 10.30 - 11.00: COFFEE BREAK 11.00 - 12.30: Morning Session * Jos Baeten, Flavio Corradini, Clemens Grabmayer On the Star Height of Regular Expressions Under Bisimulation * Xu Wang, Marta Kwiatkowska Compositional state space reduction using untangled actions * Ahmed Bouajjani, Jan Strejcek, Tayssir Touili On Symbolic Verification of Weakly Extended PAD 12.30 - 14.30: LUNCH 14.30: Joint Express-Infinity-SOS invited talk: Robin Milner * Bigraphs, multi-local names and confluence 15.30 - 16.00 Afternoon Session * Vincent Danos, Jean Krivine, Pawel Sobocinski General reversibility 16.00 - 16.30: COFFEE BREAK 16.30 - 18.30: Afternoon Session * Daniele Gorla Synchrony vs Asynchrony in Communication Primitives * Lucy Saunders-Evans, Glynn Winskel Event Structure Spans for Non-deterministic Dataflow * Luís Caires, Hugo Torres Vieira Extensionality of Spatial Observations in Distributed Systems * Daniel Hirschkoff, Damien Pous On Closure under Substitution of Strong Bisimilarity PROGRAMME CO-CHAIRS: Roberto Amadio (Univ. Paris 7, France) Iain Phillips (Imperial College London, UK) PROGRAMME 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@doc.ic.ac.uk Roberto Amadio - Roberto.Amadio@pps.jussieu.fr