DCM 2006 Programme

Sunday 16th July 2006

Time Event
09:00-09:10 Welcome
09:10-10:00 Invited Talk: Every computable function is linear (in a sense)
Maribel Fernández
10:00-10:30 Coffee Break
10:30-11:00 A Calculus of Global Interaction based on Session Types
Marco Carbone, Kohei Honda and Nobuko Yoshida
11:30-12:00 Probabilistic Model-Checking of Quantum Protocols
Simon Gay, Rajagopal Nagarajan and Nikolaos Papanikolaou
12:00-12:30 Virtual Organizations in Arigatoni: the formal model
Michel Cosnard and Luigi Liquori
12:30-14:30 Lunch
14:30-15:00 A fully labelled lambda calculus: Towards closed reduction in the Geometry of Interaction Machine
Nikolaos Siafakas
15:00-15:30 Term collections in lambda and rho-calculi
Germain Faure
15:30-16:00 Light Dialectica Extraction from a Classical Fibonacci Proof
Mircea-Dan Hernest
16:00-16:30 Coffee Break
16:30-17:00 Handshake Games
Luca Fossati
17:00-17:30 On the Computational Representation of Classical Logical Connectives
Jayshan Raghunandan and Alexander J. Summers
17:30-18:00 Better Bubbling
Bob Meyer