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 <https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy> Best, /t