**# 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

## No comments:

Post a Comment