Saturday 11th April
9.30 - 9.45 Welcome
9.45 - 10.30 Pierre-Louis Curien (Special session)
11.00 - 11.45 Luke Ong (Special session)
11.45 - 12.30 Samson Abramsky (Special session)
2.00 - 2.30 Andrzej Murawski (Tutorial talk)
2.30 - 3.00 Parallelism and Synchronization in an Infinitary Context -- Ugo Dal Lago, Claudia Faggian, Benoît Valiron and Akira Yoshimizu
3.00 - 3.30 Multitoken Geometry of Interaction and Multimove Games -- Yann Hamdaoui
3.30 - 4.00 A game semantics for fork(II) -- Simon Castellan
4.30 - 5.00 Coloured tensorial logic and higher-order model-checking -- Charles Grellois and Paul-André Melliès
5.00 - 5.30 Some Monoidal Fibrations of Tree Automata -- Colin Riba
5.30 - 6.00 Distributive laws and finitary Game Semantics of Linear Logic -- Clément Jacq and Paul-André Melliès
Sunday 12th April
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