Workshops

Fall 2016

Logical Structures in Computation Boot Camp

Aug 29, 2016 to Sep 2, 2016

Return to event »

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

Monday, August 29th, 2016
9:00 am–9:20 am		Coffee and Check-In
9:20 am–9:30 am		Opening Remarks
9:30 am–10:30 am		Stochastic Lambda-Calculus Dana Scott, Carnegie Mellon University
10:30 am–11:00 am		Break
11:00 am–12:00 pm		Finite and Algorithmic Model Theory I Anuj Dawar, University of Cambridge
12:00 pm–1:30 pm		Lunch
1:30 pm–2:30 pm		Logic and Quantum Information I Samson Abramsky, University of Oxford
2:30 pm–3:00 pm		Break
3:00 pm–4:00 pm		Logic and Databases I Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
4:00 pm–4:30 pm		Break
4:30 pm–5:30 pm		Analysis of Probabilistic Systems I Prakash Panangaden, McGill University

Tuesday, August 30th, 2016
9:00 am–9:30 am		Coffee and Check-In
9:30 am–10:30 am		Logic and Quantum Information II Samson Abramsky, University of Oxford
10:30 am–11:00 am		Break
11:00 am–12:00 pm		Finite and Algorithmic Model Theory II Anuj Dawar, University of Cambridge
12:00 pm–1:30 pm		Lunch
1:30 pm–2:30 pm		Logic and Databases II Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
2:30 pm–3:00 pm		Break
3:00 pm–4:00 pm		Analysis of Probabilistic Systems II Prakash Panangaden, McGill University
4:00 pm–4:30 pm		Break
4:30 pm–5:30 pm		A Primer on Domains and Measure Theory Michael Mislove, Tulane University

Wednesday, August 31st, 2016
9:00 am–9:30 am		Coffee and Check-In
9:30 am–10:30 am		Finite and Algorithmic Model Theory III Anuj Dawar, University of Cambridge
10:30 am–11:00 am		Break
11:00 am–12:00 pm		Logic and Quantum Information III Samson Abramsky, University of Oxford
12:00 pm–1:30 pm		Lunch
1:30 pm–2:30 pm		Logic and Databases III Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
2:30 pm–3:00 pm		Break
3:00 pm–4:00 pm		Analysis of Probabilistic Systems III Prakash Panangaden, McGill University
4:00 pm–4:30 pm		Break
4:30 pm–5:30 pm		The Onion of Physics Simone Severini, University College London

Thursday, September 1st, 2016
9:00 am–9:30 am		Coffee and Check-In
9:30 am–10:30 am		Finite and Algorithmic Model Theory IV Anuj Dawar, University of Cambridge
10:30 am–11:00 am		Break
11:00 am–12:00 pm		Logic and Quantum Information IV Samson Abramsky, University of Oxford
12:00 pm–1:30 pm		Lunch
1:30 pm–2:30 pm		Logic and Databases IV Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
2:30 pm–3:00 pm		Break
3:00 pm–4:00 pm		Analysis of Probabilistic Systems IV Prakash Panangaden, McGill University
4:00 pm–4:30 pm		Break
4:30 pm–5:30 pm		Logic and Random Structures Albert Atserias, Universitat Politècnica de Catalunya

Friday, September 2nd, 2016
9:00 am–9:30 am		Coffee and Check-In
9:30 am–10:30 am		Finite and Algorithmic Model Theory V Anuj Dawar, University of Cambridge
10:30 am–11:00 am		Break
11:00 am–12:00 pm		Logic and Quantum Information V Samson Abramsky, University of Oxford
12:00 pm–1:30 pm		Lunch
1:30 pm–2:30 pm		Logic and Databases V Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
2:30 pm–3:00 pm		Break
3:00 pm–4:00 pm		Analysis of Probabilistic Systems V Prakash Panangaden, McGill University
4:00 pm–4:30 pm		Break
4:30 pm–5:30 pm		Provenance for Database Transformations Val Tannen, University of Pennsylvania