[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