Playlist: 30 videos

Compositionality

The compositional description of complex objects is a fundamental feature of the logical structure of computation. The use of logical languages in database theory and in algorithmic and finite model theory provides a basic level of compositionality...

0:38:58

Automata Learning -- Infinite Alphabets and Application to Verification

Alexandra Silva, University College London
https://simons.berkeley.edu/talks/alexandra-silva-12-06-2016
Compositionality
Visit talk page
0:28:23

Operational Semantics for Single-Particle Classical Thermodynamics

Dominic Horsman, Durham University
https://simons.berkeley.edu/talks/dominic-horsman-2016-12-6
Compositionality
Visit talk page
1:5:47

Compositional Thermodynamics

Giulio Chiribella, The University of Hong Kong
https://simons.berkeley.edu/talks/giulio-chiribella-12-07-2016
Compositionality
Visit talk page
0:22:8

Composition and Quantum Theory: A Conjecture, and How it Could Fail

Markus Mueller, Western University
https://simons.berkeley.edu/talks/markus-mueller-12-07-2016
Compositionality
Visit talk page
0:26:38

Multipartite Composition of Contextuality Scenarios

Ana Belen Sainz, University of Bristol
https://simons.berkeley.edu/talks/ana-belen-sainz-12-07-2016
Compositionality
Visit talk page
0:39:18

Compositionality in Categorical Quantum Computing

Ross Duncan, University of Strathclyde
https://simons.berkeley.edu/talks/ross-duncan-12-07-2016
Compositionality
Visit talk page
0:43:18

Logic of Local Inference for Contextuality and Paradoxes

Kohei Kishida, University of Oxford
https://simons.berkeley.edu/talks/kohei-kishida-12-08-2016
Compositionality
Visit talk page
0:27:39

Towards a Resource Theory of Contextuality

Rui Soares Barbosa, University of Oxford
https://simons.berkeley.edu/talks/rui-soares-barbosa-12-08-2016
Compositionality
Visit talk page
0:26:11

Modelling Interfaces in Distributed Systems: Some First Steps

David Pym, University College London
https://simons.berkeley.edu/talks/david-pym-12-08-2016
Compositionality
Visit talk page
0:27:50

Compositionality in Cybersecurity

Pasquale Malacaria, Queen Mary University of London
https://simons.berkeley.edu/talks/pasquale-malacaria-12-08-2016
Compositionality
Visit talk page