Welcome to Spotlight on Games

Spotlight on Games is the first in a series of online workshops intended to bring together the Highlights of Logic, Games and Automata community. The theme is, of course, games.

The goal of the workshop is to fascilitate scientific encounters, and will take place online, on gather.town.

Participation is free, but please consider contributing an open problem. Registration is required.

Program

First session: Infinite Games, Finite strategies

25 November 2020 14:00 - 17:00 CET

14:00 Invited Talk: Patricia Bouyer
15:00 Open problem session
16:00 Open problem discussion

Second session: Synthesis Games, Good-for-games automata

26 November 2020 10:00 - 13:00 CET

10:00 Invited Talk: Udi Boker
11:00 Open problem session
12:00 Open problem discussion

Workshop Series

The workshops planned for the 2020/2021 session are:
- Games (November)
- Automata and Category (January)
- Transducers (March)
- Logic and databases (May)

Organised by Thomas Colcombet, Emmanuel Filiot, Karoliina Lehtinen, Nathan Lhote, Daniela Petrisan and Thomas Zeume.