Theoretical Foundations of Computer Systems Boot Camp

Program

Theoretical Foundations of Computer Systems

Location

Zoom

Date

Monday, Jan. 25 – Friday, Jan. 29, 2021

Back to calendar

All times are listed in PST.

8 – 8:20 a.m.

Virtual Coffee & Check In (Gather.town)

8:20 – 8:30 a.m.

Opening Remarks

8:30 – 10:30 a.m.

A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory

Mikolaj Bojańczyk (University of Warsaw)

8:30 – 10:30 a.m.

A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory

Mikolaj Bojańczyk (University of Warsaw)

8:30 – 10:30 a.m.

A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory

Mikolaj Bojańczyk (University of Warsaw)

8:30 – 10:30 a.m.

A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory

Mikolaj Bojańczyk (University of Warsaw)

8 – 8:30 a.m.

Virtual Coffee & Check In (Gather.town)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8:30 – 10:30 a.m.

Introduction to Automata on Infinite Words

Orna Kupferman (Hebrew University)

8 – 8:30 a.m.

Virtual Coffee & Check In (Gather.town)

8:30 – 10:30 a.m.

Games on Graphs: from Logic and Automata to Algorithms

Marcin Jurdziński (University of Warwick)

8:30 – 10:30 a.m.

Games on Graphs: from Logic and Automata to Algorithms

Marcin Jurdziński (University of Warwick)

8:30 – 10:30 a.m.

Games on Graphs: from Logic and Automata to Algorithms

Marcin Jurdziński (University of Warwick)

8:30 – 10:30 a.m.

Games on Graphs: from Logic and Automata to Algorithms

Marcin Jurdziński (University of Warwick)

8 – 8:30 a.m.

Virtual Coffee & Check In (Gather.town)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8:30 – 10:30 a.m.

Verification and Control of Partially Observable Probabilistic Systems

Gethin Norman (University of Glasgow)

8 – 8:30 a.m.

Virtual Coffee & Check In (Gather.town)

8:30 – 10:30 a.m.

Specification, Verification and Synthesis in Cyberphysical Systems

Ufuk Topcu (University of Texas at Austin)

8:30 – 10:30 a.m.

Specification, Verification and Synthesis in Cyberphysical Systems

Ufuk Topcu (University of Texas at Austin)

8:30 – 10:30 a.m.

Specification, Verification and Synthesis in Cyberphysical Systems

Ufuk Topcu (University of Texas at Austin)

8:30 – 10:30 a.m.

Specification, Verification and Synthesis in Cyberphysical Systems

Ufuk Topcu (University of Texas at Austin)