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

source: Simons Institute    2016年12月5日
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, but establishing systematic relationships between compositional descriptions and complexity remains elusive. Compositional models of probabilistic systems and languages have been developed, but inferring probabilistic properties of systems in a compositional fashion is an important challenge. In quantum computation, the phenomenon of entanglement poses a challenge at a fundamental level to the scope of compositional descriptions. At the same time, compositionally has been proposed as a fundamental principle for the development of physical theories. This workshop will focus on the common structures and methods centered on compositionality that run through all these areas.
For more information, please visit https://simons.berkeley.edu/workshops/logic2016-3
These presentations were supported in part by an award from the Simons Foundation.

Semantics for Physicists Prakash Panangaden, McGill University https://simons.berkeley.edu/talks/pra... 31:42
Compositionally, Adequacy, and Full Abstraction 40:54
Data Structures for Quasistrict Higher Categories 47:35
An Operadic Approach to Compositionality 41:11
From Linearizability to Eventual Consistency 38:16
The Mathematics of Networks 1:03:30
Composition in Some Formal Models of Natural Language 32:17
Modelling Interconnected Systems with Decorated Corelations 17:56
Custom Compact Closed Categories via Relations 24:43
Some Thoughts on Inferring System Structure 33:18
Automata Learning -- Infinite Alphabets and Application to Verification 38:58
Operational Semantics for Single-Particle Classical Thermodynamics 28:23
Compositional Thermodynamics 1:05:47
Composition and Quantum Theory: A Conjecture, and How it Could Fail 22:08
Multipartite Composition of Contextuality Scenarios 26:38
Compositionality in Categorical Quantum Computing 39:18
Logic of Local Inference for Contextuality and Paradoxes 43:18
Towards a Resource Theory of Contextuality 27:39
Modelling Interfaces in Distributed Systems: Some First Steps 26:11
Compositionality in Cybersecurity 27:50
A Topological Approach to Compositionality in Complex Systems 26:15
Higher-Order Linearisability 37:08
Probabilistic Call By Push Value 34:42
Linear Logic, Session Types and Deadlock-Freedom 23:43
Composing Strategies in Pebble Games 23:37
Completeness and Incompleteness of Quantum Diagram Reasoning 26:32
Composing Schema Mappings: An Overview 38:13
About the Provenance of Truth 39:14
A Compositional Quantum Programming Language 43:33
Programming Recurrence Relations 36:21

No comments: