15th International Workshop on
Expressiveness in Concurrency
Saturday, August 23rd, 2008
Toronto, Canada
Affiliated with CONCUR 2008
[ Home]
Last modified: Thu Jul 17 12:23:59 CEST 2008

EXPRESS '08 -- Preliminary Programme

8.20-8.50: Breakfast
9.00-10.00: Joint Express/SecCo invited talk:
Michele Bugliesi.
"Security Abstractions and Adversarial Models in Distributed Communications"
10.00-10.30: Coffee break
10.30-12.30: Selected Papers:
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman and Andrzej Wasowski.
"EXPTIME-complete Decision Problems for Mixed and Modal Specifications"
Jos Baeten, Pieter Cuijpers and Paul van Tilburg.
"A Basic Parallel Process as a Parallel Pushdown Automaton"
Roberto Amadio.
"On convergence-sensitive bisimulation and the embedding of CCS in timed CCS"
Sibylle Froeschle.
"Adding Branching to the Strand Space Model"
12.30-14.00: Lunch
14.00-15.00: Invited talk:
Gianluigi Zavattaro.
"Expressiveness Issues in Calculi for (Bio)Chemistry"
15.00-15.30: Selected Paper (joint with FMWS):
Jens Chr. Godskesen.
"A Calculus for Mobile Ad-hoc Networks with Static Location Binding"
15.30-16.00: Coffee break
16.00-17.30: Selected Papers:
Fabio Gadducci, Filippo Bonchi and Giacoma Monreale.
"Labeled transitions for mobile ambients (as synthesized via a graphical encoding)"
Mikkel Bundgaard, Jens Chr. Godskesen, Bjorn Haagensen and Hans Huttel.
"Decidable Fragments of a Higher Order Calculus with Locations"
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari and Roberto Zunino.
"Hard life with weak binders"
17.30-18.00: Meeting of the Steering Committee.

webadmin of this site: gorla "at" di dot uniroma1 dot it