9.00 - 10.00 Paul Blain Levy (Invited talk)
10.00 - 10.30 Game Semantics for Bounded Polymorphism -- James Laird
11.00 - 11.30 A Characterization of Ludics in Game Semantics -- Christophe Fouquere and Myriam Quatrini
11.30 - 12.00 Internal Completeness in Nonlinear Ludics -- Alice Pavaux
12.00 - 12.30 Least and Greatest Fixed Points in Ludics -- David Baelde, Amina Doumane and Alexis Saurin
2.00 - 3.00 Nikos Tzevelekos (Invited talk)
3.00 - 3.30 Reasoning on Equivalence of Stateful Programs: A Marriage of Game Semantics and Operational Techniques -- Guilhem Jaber
3.30 - 4.00 Caring but not knowing. On preplay communication in infinite games -- Dietmar Berwanger and Marie Van Den Bogaard
4.30 - 5.00 Positional interpretation of Peano arithmetic with winning strategies -- Valentin Blot
5.00 - 5.30 Realizability games for arithmetical formulæ -- Étienne Miquey
5.30 - 6.00 Game Semantics: A Paraconsistent Approach -- Can Baskent