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.
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|
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.