Hi everyone,

This is just a reminder of the program of the second day of the ANR DySCo launch meeting tomorrow.

Tuesday December 13th.
10am-11am: Marc de Visme: Game Semantics for Quantum Programming
11am-11.30am: Break
11.30am-12am: Will Troiani: Quantum error correction and cut-elimination
12am-2pm: Lunch break
2pm-3pm: Hugo Férée: A Game Semantics Perspective on Higher Order Complexity
3pm-3.30pm: Break
3.30pm-4.30pm: Thomas Seiller: ANR Dysco: the scientific project

We will be in room C312 and I will try to put up a hybrid meeting on the Complexities seminar BBB: https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy

Best,
/t