47:10

Tom Avery: "Notions of algebraic theory"

38:58

Kevin Dunne: "Endomorphism semialgebras in categorical quantum mechanics"

37:04

Martti Karvonen: "Dagger categories: monads and limits"

41:50

Ulrich Kraehmer: "What is a quantum symmetry?"

44:29

Dan Marsden: "Custom hypergraph categories via generalized relations"

48:16

Tarmo Uustalu: "Grading monads, comonads and distributive laws"

25:09

QPL2017 - Weilenmann and Colbeck. Entropy vector approach to distinguish causal structures

21:55

QPL2017 - Quanlong Wang. Qutrit ZX-calculus is complete for Stabilizer Quantum Mechanics

34:37

QPL2017 - Aleks Kissinger and Sander Uijlen. A categorical semantics for causal structures

32:42

QPL2017 - Abramsky et al. Minimum quantum resources for strong non-locality

18:46

QPL2017 - Carlo Maria Scandolo and Giulio Chiribella. Operational thermodynamics from purity

52:04

QPL2017 - Paulo Perinotti. The hierarchy of higher-order quantum computations

23:44

QPL2017 - Pau Enrique Moliner, Chris Heunen and Sean Tull. Space in monoidal categories

23:12

QPL2017 - Shane Mansfield. Reality of the quantum state: Towards a stronger ψ-ontology theorem

32:03

QPL2017 - Chris Heunen and Manuel Reyes. Frobenius structures over Hilbert C*-modules

24:48

QPL2017 - Kevin Dunne. Spectral Presheaves and on the Structure of H*-Algebras

25:21

QPL2017 - Alexander Wilce. A Shortcut form CQM to Convex Operational Theories

09:24

QPL2017 - Jamie Vicary. Classical models for quantum networks

32:37

QPL2017 - Barnum et al. Ruling out higher-order interference from purity principles

34:12

QPL2017 - Reutter and Vicary. Shaded tangles for the design and verification of quantum programs

26:24

Ciaran Lee and John Selby. A no-go theorem for theories that decohere to quantum mechanics

28:19

QPL2017 - Stefano Gogioso and Carlo Maria Scandolo. Categorical Probabilistic Theories

22:13

QPL2017 - Ravi Kunjwal. Irreducible noncontextuality inequalities from the Kochen-Specker theorem

27:16

QPL2017 - Lídia Del Rio and Lea Kraemer. Operational locality in global theories

21:32

QPL2017 - Dall'Arno, Brandsen, Tosini, Buscemi et al. No-Hypersignaling as a Physical Principle

16:34

QPL2017 - Oscar Cunningham and Chris Heunen. Purity through factorisation

21:47

QPL2017 - Linde Wester. Almost Equivalent Paradigms of Contextuality

28:36

QPL2017 - Aleks Kissinger, Sean Tull and Bas Westerbaan. Picture-perfect QKD

19:35

QPL2017 - John van de Wetering. Quantum theory is a quasi-stochastic process theory

22:17

QPL2017 - Sedlak, Bisio and Ziman. Perfect probabilistic storing and retrieving of unitary channels

18:45

QPL2017 - Bob Coecke, John Selby and Sean Tull. Two Roads to Classicality

26:01

QPL2017 - D Kartsaklis, S Ramgoolam and M Sadrzadeh. Linguistic Matrix Theory

14:36

QPL2017 - Maaike Zwart and Bob Coecke. Double Dilation ≠ Double Mixing

29:29

QPL2017 - Abramsky, Barbosa, Carù and Perdrix. A characterisation of AvN arguments on stabilisers

19:31

QPL2017 - A Facchini, A Benavoli and M Zaffalon. Bayes + Hilbert = Quantum Mechanics

31:29

QPL2017 - P Selinger and F Rios. A categorical model for a quantum circuit description language

22:39

QPL2017 - David Reutter and Jamie Vicary. Biunitary constructions in quantum information

29:11

QPL2017 - R Rand, J Paykin and S Zdancewic. QWIRE Practice: Formal Verification of Quantum Circuits

36:40

QPL2017 - M Navascués. RVs, entanglement and nonlocality in infinite translation-invariant systems

18:48

QPL2017 - Mills et al. IT Secure Hypothesis Test for Temporally Unstructured QC

32:10

QPL2017 - T Galley and L Masanes. Classification of all alternatives to the Born rule

18:50

QPL2017 - A Blass and Y Gurevich. Common denominator for value and expectation no-go theorems

18:44

QPL2017 - B Coecke, S Gogioso, A Kissinger. von Neumann measurements (IQSA talk)

23:19

QPL2017 - S Gogioso and F Genovese. Towards Quantum Field Theory in Categorical Quantum Mechanics

01:39:34

QPL2017 - Ronald de Wolf. Quantum algorithms (invited tutorial)

20:02

QPL2017 - B Coecke, F Genovese, S Gogioso et al. Uniqueness of composition in quantum theory

01:32:04

QPL2017 - Dan Marsden. String diagrams for category theory

01:32:59

QPL2017 - Simon Perdrix. Measurement-based quantum computing (invited tutorial)

01:32:39

QPL2017 - Bart Jacobs. Effectus Theory (invited tutorial)

56:37

QPL2017 - Matthias Christandl. On the tensor rank of networks of entangled pairs

18:36

QPL2017 - Mehdi Mhalla and Paul Dorbec. Quantum combinatorial games

01:27:51

Evening Debate with Bob Coecke, Henrique Gomes, Ognyan Oreshkov and Simon Saunders

01:21:45

Markus Müller: Quantum theory as a principle theory

01:29:29

Harvey Brown: QBism: the ineffable reality behind "participatory realism"

01:20:44

Adrian Kent: Testing the Bell Nonlocality of the Gravitational Field

01:20:22

Jamie Vicary: Categorification and Foundations

01:32:27

Lucien Hardy: Operational and compositional approach to physics

01:16:32

Niel de Beaudrap: An Abstract Diagrammatic Notation for Lattice Surgery

43:44

Clemens Kupke: "Games for topological fixpoint logics"

41:09

Peter Hines: "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis"