All times are listed in PST.

–
Virtual Coffee & Check In (Gather.town)
–
Opening Remarks
–
A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory
Mikolaj Bojańczyk (University of Warsaw)
–
Virtual Coffee & Check In (Gather.town)
–
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
–
Virtual Coffee & Check In (Gather.town)
–
Games on Graphs: from Logic and Automata to Algorithms
Marcin Jurdziński (University of Warwick)
–
Virtual Coffee & Check In (Gather.town)
–
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
–
Virtual Coffee & Check In (Gather.town)
–
Specification, Verification and Synthesis in Cyberphysical Systems
Ufuk Topcu (University of Texas at Austin)