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