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. |