Logical Structures in Computation Boot Camp

# click the upper-left icon to select videos from the playlist

source: Simons Institute     2016年8月29日
Logical Structures in Computation Boot Camp
Organizers:
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).
For more information, please visit https://simons.berkeley.edu/workshops/logic2016-boot-camp
These presentations were supported in part by an award from the Simons Foundation.

Stochastic Lambda-Calculus 57:55 Dana Scott, Carnegie Mellon University https://simons.berkeley.edu/talks/dan...
Finite and Algorithmic Model Theory I 1:02:50
Logic and Quantum Information I 1:03:17
Logic and Databases I 1:01:43
Analysis of Probabilistic Systems I 53:11
Logic and Quantum Information II 1:01:59
Finite and Algorithmic Model Theory II 54:49
Analysis of Probabilistic Systems II 1:06:15
Logic and Databases II 1:04:11
Domain Theory and Measure Theory 1:06:21
Finite and Algorithmic Model Theory III 1:07:19
Logic and Quantum Information III 1:07:05
Logic and Databases III 1:07:39
Analysis of Probabilistic Systems III 59:59
The Onion of Physics 59:44
Finite and Algorithmic Model Theory IV 1:09:46
Logic and Quantum Information IV 1:04:43
Logic and Databases IV 1:04:14
Analysis of Probabilistic Systems IV 1:00:16
Logic and Random Structures 1:05:03
Finite and Algorithmic Model Theory V 1:06:43
Logic and Quantum Information V 1:06:28
Logic and Databases V 1:12:14
Analysis of Probabilistic Systems V 59:25
Provenance for Database Transformations 1:10:14