DCM'07 Programme, Jul 15

- 9 Invited lecture: Samson Abramsky
Copy-cat Strategies and Information Flow in Physics, Geometry, Logic and Computation

- 10.30 Vincent Danos and Ellie D'Hondt
Quantum knowledge for cryptographic reasoning
- 11 Simon Perdrix
A Hierarchy of Quantum Semantics
- 11.30 Elham Kashefi
Lost in Translation
- 12 Pablo Arrighi and Renan Fargetton
Intrisically universal one-dimensional quantum cellular automata

- 14 Invited lecture: Ian Mackie
Linearity and Optimality
- 15 Ross Duncan
Verifying the Measurement Calculus by Rewriting

- 16 Shinya Sato and Ian Mackie
A calculus for interaction nets based on the linear chemical abstract machine
- 16.30 Giorgio Bacci and Marino Miculan
Undecidability of Model checking in Brane Logic
- 17 Anne Crumiere and Paul Ruet
Spatial differentiation and positive circuits in a discrete framework
- 17.30 Davide Ancona, Sonia Fagorzi, and Elena Zucca
A Parametric Calculus for Mobile Open Code
- 18 Bernadette Charron-Bost and Andre Schiper
Computing in Distributed Systems in the Presence of Benign Failures