Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
Participate
Apply to Participate
Propose a Program
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
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
News & Videos
News
Videos
Support for the Institute
Annual Fund
All Funders
Institutional Partnerships
For Visitors
Visitor Guide
Plan Your Visit
Location & Directions
Accessibility
Building Access
IT Guide
About
Image
Logical Structures in Computation Boot Camp
Program
Logical Structures in Computation
Location
Calvin Lab Auditorium
Date
Monday, Aug. 29
–
Friday, Sept. 2, 2016
Back to calendar
Breadcrumb
Home
Workshop & Symposia
Schedule | Logical Structures In Computation Boot Camp
Secondary tabs
The Workshop
Schedule
Videos
Click on the titles of individual talks for abstract, slides and archived video.
Monday, Aug. 29, 2016
9
–
9:20 a.m.
Coffee and Check-In
9:20
–
9:30 a.m.
Opening Remarks
9:30
–
10:30 a.m.
Stochastic Lambda-Calculus
Dana Scott (Carnegie Mellon University)
Video
10:30
–
11 a.m.
Break
11 a.m.
–
12 p.m.
Finite and Algorithmic Model Theory I
Anuj Dawar, University of Cambridge
Video
12
–
1:30 p.m.
Lunch
1:30
–
2:30 p.m.
Logic and Quantum Information I
Samson Abramsky (University of Oxford)
,
Samson Abramsky (University of Oxford)
Video
2:30
–
3 p.m.
Break
3
–
4 p.m.
Logic and Databases I
Phokion Kolaitis (UC Santa Cruz and IBM Research)
,
Phokion Kolaitis (UC Santa Cruz and IBM Research)
Video
4
–
4:30 p.m.
Break
4:30
–
5:30 p.m.
Analysis of Probabilistic Systems I
Prakash Panangaden (McGill University)
Video
Tuesday, Aug. 30, 2016
9
–
9:30 a.m.
Coffee and Check-In
9:30
–
10:30 a.m.
Logic and Quantum Information II
Samson Abramsky (University of Oxford)
,
Samson Abramsky (University of Oxford)
Video
10:30
–
11 a.m.
Break
11 a.m.
–
12 p.m.
Finite and Algorithmic Model Theory II
Anuj Dawar, University of Cambridge
Video
12
–
1:30 p.m.
Lunch
1:30
–
2:30 p.m.
Logic and Databases II
Phokion Kolaitis (UC Santa Cruz and IBM Research)
,
Phokion Kolaitis (UC Santa Cruz and IBM Research)
Video
2:30
–
3 p.m.
Break
3
–
4 p.m.
Analysis of Probabilistic Systems II
Prakash Panangaden (McGill University)
Video
4
–
4:30 p.m.
Break
4:30
–
5:30 p.m.
A Primer on Domains and Measure Theory
Michael Mislove (Tulane University)
Video
Wednesday, Aug. 31, 2016
9
–
9:30 a.m.
Coffee and Check-In
9:30
–
10:30 a.m.
Finite and Algorithmic Model Theory III
Anuj Dawar, University of Cambridge
Video
10:30
–
11 a.m.
Break
11 a.m.
–
12 p.m.
Logic and Quantum Information III
Samson Abramsky (University of Oxford)
,
Samson Abramsky (University of Oxford)
Video
12
–
1:30 p.m.
Lunch
1:30
–
2:30 p.m.
Logic and Databases III
Phokion Kolaitis (UC Santa Cruz and IBM Research)
,
Phokion Kolaitis (UC Santa Cruz and IBM Research)
Video
2:30
–
3 p.m.
Break
3
–
4 p.m.
Analysis of Probabilistic Systems III
Prakash Panangaden (McGill University)
Video
4
–
4:30 p.m.
Break
4:30
–
5:30 p.m.
The Onion of Physics
Simone Severini (Amazon Web Services (AWS))
Video
Thursday, Sept. 1, 2016
9
–
9:30 a.m.
Coffee and Check-In
9:30
–
10:30 a.m.
Finite and Algorithmic Model Theory IV
Anuj Dawar, University of Cambridge
Video
10:30
–
11 a.m.
Break
11 a.m.
–
12 p.m.
Logic and Quantum Information IV
Samson Abramsky (University of Oxford)
,
Samson Abramsky (University of Oxford)
Video
12
–
1:30 p.m.
Lunch
1:30
–
2:30 p.m.
Logic and Databases IV
Phokion Kolaitis (UC Santa Cruz and IBM Research)
,
Phokion Kolaitis (UC Santa Cruz and IBM Research)
Video
2:30
–
3 p.m.
Break
3
–
4 p.m.
Analysis of Probabilistic Systems IV
Prakash Panangaden (McGill University)
Video
4
–
4:30 p.m.
Break
4:30
–
5:30 p.m.
Logic and Random Structures
Albert Atserias (UPC Barcelona)
Video
Friday, Sept. 2, 2016
9
–
9:30 a.m.
Coffee and Check-In
9:30
–
10:30 a.m.
Finite and Algorithmic Model Theory V
Anuj Dawar, University of Cambridge
Video
10:30
–
11 a.m.
Break
11 a.m.
–
12 p.m.
Logic and Quantum Information V
Samson Abramsky (University of Oxford)
,
Samson Abramsky (University of Oxford)
Video
12
–
1:30 p.m.
Lunch
1:30
–
2:30 p.m.
Logic and Databases V
Phokion Kolaitis (UC Santa Cruz and IBM Research)
,
Phokion Kolaitis (UC Santa Cruz and IBM Research)
Video
2:30
–
3 p.m.
Break
3
–
4 p.m.
Analysis of Probabilistic Systems V
Prakash Panangaden (McGill University)
Video
4
–
4:30 p.m.
Break
4:30
–
5:30 p.m.
Provenance for Database Transformations
Val Tannen (University of Pennsylvania)
Video
Share this page
Copy URL of this page
link to homepage
Close
Main navigation
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
Participate
Apply to Participate
Propose a Program
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
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
News & Videos
News
Videos
Support for the Institute
Annual Fund
All Funders
Institutional Partnerships
For Visitors
Visitor Guide
Plan Your Visit
Location & Directions
Accessibility
Building Access
IT Guide
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search
