Workshops

Spring 2021

Theoretical Foundations of Computer Systems Boot Camp

Jan 25, 2021 to Jan 29, 2021

Return to event »

All times are listed in PST.

Monday, January 25th, 2021
8:00 am – 8:20 am		Virtual Coffee & Check In (Gather.town)
8:20 am – 8:30 am		Opening Remarks
8:30 am – 10:30 am		A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory Mikolaj Bojańczyk (University of Warsaw)

Tuesday, January 26th, 2021
8:00 am – 8:30 am		Virtual Coffee & Check In (Gather.town)
8:30 am – 10:30 am		Introduction to Automata on Infinite Words Orna Kupferman (Hebrew University)

Wednesday, January 27th, 2021
8:00 am – 8:30 am		Virtual Coffee & Check In (Gather.town)
8:30 am – 10:30 am		Games on Graphs: from Logic and Automata to Algorithms Marcin Jurdziński (University of Warwick)

Thursday, January 28th, 2021
8:00 am – 8:30 am		Virtual Coffee & Check In (Gather.town)
8:30 am – 10:30 am		Verification and Control of Partially Observable Probabilistic Systems Gethin Norman (University of Glasgow)

Friday, January 29th, 2021
8:00 am – 8:30 am		Virtual Coffee & Check In (Gather.town)
8:30 am – 10:30 am		Specification, Verification and Synthesis in Cyberphysical Systems Ufuk Topcu (University of Texas at Austin)