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 slides |
| 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 (slides) (video) |
| 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.
This workshop is funded by EPSRC project Solving Parity Games in Theory and Practice