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 |