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)
–
Break
–
Automata-based approach for quantum circuit/program verification
Yu-Fang Chen (Institute of Information Science, Academia Sinica)
–
Controller Synthesis Beyond the Worst Case
Marco Faella (University of Naples Federico II)
–
Lunch (boxed lunches)
–
Panel Discussion
–
Coffee and Check-In
–
Stochastic games with neural perception mechanisms
Marta Kwiatkowska (University of Oxford)
–
Break
–
Multi-agent games with finite-horizon goals
Senthil Rajasekaran (Rice University)
–
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)
–
Break
–
Deciding regular games: a playground for exponential time algorithms
Bakh Khoussainov (UESTC)
–
Computing a fixed point of contraction maps in polynomial queries
Yuhao Li (Columbia)
–
Lunch (on your own)
–
Panel Discussion
–
Coffee and Check-In
–
Reaching collective decisions
Maria Polukarov (King's College London)
–
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…
–
Symbolic Finite- and Infinite-state Synthesis
Nir Piterman (University of Gothenberg)
–
Lunch (on your own)
–
Panel Discussion
–
Coffee and Check-In
–
Descriptive complexity for distributed computing and neural networks
Antti Kuusisto (Tampere University)
–
Break
–
Attractor decompositions in games and automata
Marcin Jurdzinski (University of Warwick)
–
Localized Attractor Computations for Infinite-State Games
Rayna Dimitrova (CISPA Helmholtz Center for Information Security)
–
Promise Algebra: a Functional Approach to Non-Deterministic Computations
Eugenia Ternovska (Simon Fraser University)
–
Lunch (on your own)
–
Panel Discussion