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.