Fall 2016

Logical Structures in Computation Boot Camp

Monday, Aug 29, 2016 to Friday, Sep 2, 2016 

Add to Calendar


Samson Abramsky (University of Oxford), Anuj Dawar (University of Cambridge), Phokion G. Kolaitis (UC Santa Cruz and IBM Research - Almaden), Prakash Panangaden (McGill University)

The Boot Camp is intended to acquaint program participants with the key themes of the program. It will be centered around four mini-courses given by the program organizers, as follows:

Samson Abramsky (University of Oxford): "Logic and Quantum Information"
Guest Lecturer: Simone Severini (University College London): "The Onion of Physics"

Anuj Dawar (University of Cambridge): "Finite and Algorithmic Model Theory"
Guest Lecturer: Albert Atserias (Universitat Politècnica de Catalunya): "Logic and Random Structures"

Phokion Kolaitis (UC Santa Cruz and IBM Research - Almaden): "Logic and Databases"     
Guest Lecturer: Val Tannen (University of Pennsylvania): "Data Provenance"

Prakash Panangaden (McGill University): "Analysis of Probabilistic Systems"  
Guest Lecturer: Michael Mislove (Tulane University): "Domain Theory and Measure Theory"

In addition, there will be an opening talk by Dana Scott (Carnegie Mellon University). All talks will be recorded.