Logical Structures in Computation Boot Camp

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.