Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
News & Videos
News
Videos
About
Image
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
Breadcrumb
Home
Workshop & Symposia
Schedule
Secondary tabs
The Workshop
Schedule
Videos
All times are listed in PST.
Monday, Jan. 25, 2021
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)
Video
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)
Video
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)
Video
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)
Video
Tuesday, Jan. 26, 2021
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)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
8:30
–
10:30 a.m.
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University)
Video
Wednesday, Jan. 27, 2021
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)
Video
8:30
–
10:30 a.m.
Games on Graphs: from Logic and Automata to Algorithms
Marcin Jurdziński (University of Warwick)
Video
8:30
–
10:30 a.m.
Games on Graphs: from Logic and Automata to Algorithms
Marcin Jurdziński (University of Warwick)
Video
8:30
–
10:30 a.m.
Games on Graphs: from Logic and Automata to Algorithms
Marcin Jurdziński (University of Warwick)
Video
Thursday, Jan. 28, 2021
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)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
8:30
–
10:30 a.m.
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow)
Video
Friday, Jan. 29, 2021
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)
Video
8:30
–
10:30 a.m.
Specification, Verification and Synthesis in Cyberphysical Systems
Ufuk Topcu (University of Texas at Austin)
Video
8:30
–
10:30 a.m.
Specification, Verification and Synthesis in Cyberphysical Systems
Ufuk Topcu (University of Texas at Austin)
Video
8:30
–
10:30 a.m.
Specification, Verification and Synthesis in Cyberphysical Systems
Ufuk Topcu (University of Texas at Austin)
Video
Share this page
Copy URL of this page
link to homepage
Close
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
News & Videos
News
Videos
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search
