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

Click on the titles of individual talks for abstract, slides and archived video.

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)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Finite and Algorithmic Model Theory I

Anuj Dawar, University of Cambridge

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)

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)

4 – 4:30 p.m.

Break

4:30 – 5:30 p.m.

Analysis of Probabilistic Systems I

Prakash Panangaden (McGill University)

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)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Finite and Algorithmic Model Theory II

Anuj Dawar, University of Cambridge

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)

2:30 – 3 p.m.

Break

3 – 4 p.m.

Analysis of Probabilistic Systems II

Prakash Panangaden (McGill University)

4 – 4:30 p.m.

Break

4:30 – 5:30 p.m.

A Primer on Domains and Measure Theory

Michael Mislove (Tulane University)

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

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)

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)

2:30 – 3 p.m.

Break

3 – 4 p.m.

Analysis of Probabilistic Systems III

Prakash Panangaden (McGill University)

4 – 4:30 p.m.

Break

4:30 – 5:30 p.m.

The Onion of Physics

Simone Severini (University College London)

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

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)

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)

2:30 – 3 p.m.

Break

3 – 4 p.m.

Analysis of Probabilistic Systems IV

Prakash Panangaden (McGill University)

4 – 4:30 p.m.

Break

4:30 – 5:30 p.m.

Logic and Random Structures

Albert Atserias (UPC Barcelona)

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

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)

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)

2:30 – 3 p.m.

Break

3 – 4 p.m.

Analysis of Probabilistic Systems V

Prakash Panangaden (McGill University)

4 – 4:30 p.m.

Break

4:30 – 5:30 p.m.

Provenance for Database Transformations

Val Tannen (University of Pennsylvania)