Concurrent Games Café
The Concurrent Games Café is a series of virtual talks,
originally prompted by the ANR DyVerSe.
The core theme is concurrent games, but also more or less
interactive semantics in general, or anything that feels possibly
The meetings are accessible here.
Please send talk proposals to
- 11/12/2020, 14:00, Lison Blondeau-Patissier: Positional Injectivity for Innocent Strategies.
- 06/11/2020, Pierre Clairambault: Learning to count up to symmetry. [slides]
- 27/11/2020, 10:00, Simon Castellan: From concurrent games semantics to causal interpreters. [slides]