[TYPES/announce] Express'06 - Call for Participation
Iain Phillips
iccp at doc.ic.ac.uk
Tue Jul 11 12:30:34 EDT 2006
[Of interest to those working on types for concurrency]
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 at doc.ic.ac.uk
Roberto Amadio - Roberto.Amadio at pps.jussieu.fr
More information about the Types-announce
mailing list