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:26:15

A Topological Approach to Compositionality in Complex Systems

Emanuela Merelli, University of Camerino
https://simons.berkeley.edu/talks/emanuela-merelli-12-08-2016
Compositionality
Visit talk page
0:37:8

Higher-Order Linearisability

Nikos Tzevelekos, Queen Mary University of London
https://simons.berkeley.edu/talks/nikos-tzevelekos-12-08-2016
Compositionality
Visit talk page
0:34:42

Probabilistic Call By Push Value

Christine Tasson, Université Paris Diderot
https://simons.berkeley.edu/talks/christine-tasson-12-08-2016
Compositionality
Visit talk page
0:23:43

Linear Logic, Session Types and Deadlock-Freedom

Simon Gay, University of Glasgow
https://simons.berkeley.edu/talks/anuj-dawar-12-08-2016
Compositionality
Visit talk page
0:23:37

Composing Strategies in Pebble Games

Anuj Dawar, University of Cambridge
https://simons.berkeley.edu/talks/simon-gay-12-08-2016
Compositionality
Visit talk page
0:26:32

Completeness and Incompleteness of Quantum Diagram Reasoning

Simon Perdrix, CNRS, Loria
https://simons.berkeley.edu/talks/simon-perdrix-2016-12-08
Compositionality
Visit talk page
0:38:13

Composing Schema Mappings: An Overview

Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
https://simons.berkeley.edu/talks/phokion-kolaitis-2016-12-09
Compositionality
Visit talk page
0:39:14

About the Provenance of Truth

Val Tannen, University of Pennsylvania
https://simons.berkeley.edu/talks/val-tannen-2016-12-09
Compositionality
Visit talk page
0:43:33

A Compositional Quantum Programming Language

Peter Selinger, Dalhousie University
https://simons.berkeley.edu/talks/peter-selinger-2016-12-09
Compositionality
Visit talk page
0:36:21

Programming Recurrence Relations

Pawel Sobocinski, University of Southampton
https://simons.berkeley.edu/talks/pawel-sobocinski-12-09-2016
Compositionality
Visit talk page