Express'05 - Call for Participation

               Call for Participation

           12th International Workshop on

           Expressiveness in Concurrency

                    EXPRESS'05


           Affiliated with CONCUR 2005
            San Francisco, California
                 27 August 2005

           http://www.win.tue.nl/Express05

Supported by: Eindhoven University of Technology,
The Netherlands

The early registration deadline is *July 20th*.
           http://www.soe.ucsc.edu/concur05

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:

Thomas Henzinger (EPFL, CH)
Glynn Winskel (Univ. of Cambridge, UK)

PRELIMINARY PROGRAMME:

9.00 - 10.00:  Invited talk: Glynn Winskel
* Event Structures - Maps, Monads and Spans

10.00 - 10.30: COFFEE BREAK

10.30 - 12.30: Morning Session
* Sibylle Fröschle, Slawomir Lasota
  Causality Versus True-Concurrency
* Maribel Fernández, Ian Mackie, François-Régis Sinot
  Interaction Nets vs. the Rho-calculus: Introducing Bigraphical Nets
* Roberto Amadio, Frédéric Dabrowski
  Feasible Reactivity for Synchronous Cooperative Threads
* Johannes Borgström
  Static Equivalence is Harder than Knowledge

12.30 - 14.00: LUNCH

14.00 - 15.00: Invited talk: Tom Henzinger
* Title to be announced

15.00 - 15.30: Afternoon Session
* Nathalie Bertrand, Phillippe Schnoebelen
  A Short Visit to the STS Hierarchy

15.30 - 16.00: COFFEE BREAK

16.00 - 18.00: Afternoon Session
* Petr Jancar, Martin Kot, Zdenek Sawa
  Notes on Complexity of Bisimilarity between BPA and BPP
* Raymond Devillers, Hanna Klaudel, Maciej Koutny
  A Petri Net Semantics of a Simple Process Algebra for Mobility
* Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
  Separation of Synchronous and Asynchronous Communication via Testing
* Sébastien Briais, Uwe Nestmann
  Open Bisimulation, Revisited

PROGRAM CO-CHAIRS:

Jos Baeten (Eindhoven Univ. of Technology, NL)
Iain Phillips (Imperial College London, UK)

PROGRAM COMMITTEE:

Roberto Amadio (Univ. de Provence, CMI Marseille, FR)
Jos Baeten (Eindhoven Univ. of Technology, NL)
Julian Bradfield (Univ. of Edinburgh, UK)
Michele Bugliesi (Univ. Ca' Foscari, IT)
Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT)
Wan Fokkink (Vrije Univ. Amsterdam, NL)
Thomas Hildebrandt (IT Univ. of Copenhagen, DK)
Kohei Honda (Queen Mary Univ. of London, UK)
Richard Mayr (North Carolina State Univ. US)
Catuscia Palamidessi (INRIA Futurs, LIX École Polytechnique, FR)
Iain Phillips (Imperial College London, UK)
Julian Rathke (Univ. of Sussex, UK)
Eugene Stark (SUNY Stony Brook, US)

CONTACT:

Jos Baeten - [email protected]
Iain Phillips - [email protected]