Programme and Papers


The pre-proceedings can be downloaded in pdf format: ICE 2008 pre-proceedings.


Session 1 (9:00-10:30)
09:00 Opening
09:00-10:00 Invited Talk:
A randomized implementation of synchronous communication in presence of mixed choice
Catuscia Palamidessi
10:00-10:30 Symmetric and Asymmetric Asynchronous Interaction
Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Coffee break (10:30-11:00)
Session 2 (11:00-12:30)
11:00-11:30 Counting the cost in the picalculus
Matthew Hennessy and Manish Gaur
11:30-12:00 Making the unobservable unobservable
Julian Rathke and Pawel Sobocinski
12:00-12:30 Security policies enforcement using finite edit automata
Danièle Beauquier, Joelle Cohen and Ruggero Lanotte
Lunch break (12:30-14:00)
Session 3 (14:00-15:30)
14:00-15:00 Invited Talk:
Component-based Construction of Heterogeneous Real-time Systems in BIP
Joseph Sifakis
15:00-15:30 A Petri Net Model of Handshake Protocols
Luca Fossati and Daniele Varacca
Coffee break (15:30-16:00)
Session 4 (16:00-18:00)
16:00-16:30 On Symbolic Semantics for Name-decorated Contexts
Andrea Bracciali, Roberto Bruni and Alberto Lluch Lafuente
16:30-17:00 Composition of Web services: algorithms and complexity
Philippe Balbiani, Fahima Cheikh and Guillaume Feuillade
17:00-17:30 Secrecy for rewriting in adhesive categories
Tobias Heindel
17:30-18:00 Discussion
ice08/programme.txt · Last modified: 2015/09/29 12:11 (external edit)     Back to top