All talks will be in Pacific Time. Schedule subject to change.

–
Coffee and Check-In
–
Opening Remarks
–
New models of games with imperfect information

Laurent Doyen (CNRS)
Video
–
Break
–
Automata-based approach for quantum circuit/program verification

Yu-Fang Chen (Institute of Information Science, Academia Sinica)
Video
–
Controller Synthesis Beyond the Worst Case

Marco Faella (University of Naples Federico II)
Video
–
Lunch (boxed lunches)
–
Panel Discussion
–
Coffee and Check-In
–
Stochastic games with neural perception mechanisms

Marta Kwiatkowska (University of Oxford)
Video
–
Break
–
Multi-agent games with finite-horizon goals

Senthil Rajasekaran (Rice University)
Video
–
A Primer on SYNTCOMP, the Reactive Synthesis Competition

Guillermo Alberto Perez (University of Antwerp)
–
Lunch (on your own)
–
Panel Discussion
–
Coffee and Check-In
–
Subgame perfection

Jean-François Raskin (Université Libre de Bruxelles)
Video
–
Break
–
Deciding regular games: a playground for exponential time algorithms

Bakh Khoussainov (UESTC)
Video
–
Computing a fixed point of contraction maps in polynomial queries

Yuhao Li (Columbia)
Video
–
Lunch (on your own)
–
Panel Discussion
–
Coffee and Check-In
–
Reaching collective decisions

Maria Polukarov (King's College London)
Video
–
Break
–
Computing small Rainbow Cycle Numbers with SAT modulo Symmetries

Stefan Szeider (TU Wien)
–
Games of Imperfect Information

Rupak Majumdar (Max Planck Institute for Software Systems; International Comput…
Video
–
Symbolic Finite- and Infinite-state Synthesis

Nir Piterman (University of Gothenberg)
Video
–
Lunch (on your own)
–
Panel Discussion
–
Coffee and Check-In
–
Descriptive complexity for distributed computing and neural networks

Antti Kuusisto (Tampere University)
Video
–
Break
–
Attractor decompositions in games and automata

Marcin Jurdzinski (University of Warwick)
Video
–
Localized Attractor Computations for Infinite-State Games

Rayna Dimitrova (CISPA Helmholtz Center for Information Security)
Video
–
Promise Algebra: a Functional Approach to Non-Deterministic Computations

Eugenia Ternovska (Simon Fraser University)
Video
–
Lunch (on your own)
–
Panel Discussion