Quantum Physics and Logic (QPL) 2016, Glasgow
39 videos • 577 views • by OxfordQuantumVideo
http://qpl2016.cis.strath.ac.uk/
1
Daniel Oi: "Quantum Foundations and Bell Experiments"
OxfordQuantumVideo
Download
2
Kohei Kishida: "Non-locality, contextuality and sheaves"
OxfordQuantumVideo
Download
3
Conor McBride: "Logic and Functional Programming"
OxfordQuantumVideo
Download
4
Peter Sellinger: "Introduction to Quipper"
OxfordQuantumVideo
Download
5
Elham Kashefi: "Secure multi-party computing"
OxfordQuantumVideo
Download
6
Ana Belen Sainz: "Postquantum Steering"
OxfordQuantumVideo
Download
7
Carlo Maria Scandolo: "An operational resource theory of purity"
OxfordQuantumVideo
Download
8
John Selby: "Grover's search and higher-order interference"
OxfordQuantumVideo
Download
9
Bob Coecke: "Generalised no-broadcasting for process theories."
OxfordQuantumVideo
Download
10
Ali Nabi Duman: "Geometric quantization and epistemically restricted theories"
OxfordQuantumVideo
Download
11
S. Wehner: "From Bell violations towards device independence of general quantum crypto protocols"
OxfordQuantumVideo
Download
12
Mariami Gachechialdze: "Hypergraph states, their entanglement and robustness properties"
OxfordQuantumVideo
Download
13
A. Abbott: "Noise and disturbance for qubit measurements: An information-theoretic characterisation"
OxfordQuantumVideo
Download
14
A. Gheorghiu: "Rigidity of quantum steering and ..."
OxfordQuantumVideo
Download
15
Robert Raussendorf: "Cohomological framework for contextual quantum computations"
OxfordQuantumVideo
Download
16
Rui Soares Barbosa: "Quantifying contextuality via linear programming"
OxfordQuantumVideo
Download
17
Ravi Kunjwal: "Noncontextuality inequalities for Specker’s compatibility scenario"
OxfordQuantumVideo
Download
18
Leonardo Disilvestro: "Quantum protocols within Spekkens' toy model"
OxfordQuantumVideo
Download
19
Martin Roetteller: "Reversible circuit compilation with space constraints"
OxfordQuantumVideo
Download
20
Abraham Westerbaan: "Quantum Programs as Kleisli Maps"
OxfordQuantumVideo
Download
21
Kenta Cho: "von Neumann algebras form a model for the quantum lambda calculus"
OxfordQuantumVideo
Download
22
Kevin Dunne: "Interacting Frobenius algebras are Hopf"
OxfordQuantumVideo
Download
23
Miriam Backens: "A simplified stabilizer ZX-calculus"
OxfordQuantumVideo
Download
24
Stefano Gogioso: "Infinite-dimensional categorical quantum mechanics"
OxfordQuantumVideo
Download
25
Amar Hadzihasanovic: "A topological perspective on interacting algebraic theories"
OxfordQuantumVideo
Download
26
Dominic Verdon: "Tight reference frame--independent quantum teleportation"
OxfordQuantumVideo
Download
27
Dusko Pavlovic: "(Modular) effect algebras are equivalent to (Frobenius) antispecial algebras"
OxfordQuantumVideo
Download
28
Sean Tull: "Operational theories of physics as categories"
OxfordQuantumVideo
Download
29
Sander Uijlen: "Picturing indefinite causal structure "
OxfordQuantumVideo
Download
30
Tom Leinster: "In search of the spectrum"
OxfordQuantumVideo
Download
31
Frank Roumen: "Cohomology of effect algebras"
OxfordQuantumVideo
Download
32
Giovanni Caru: "On the cohomology of contextuality"
OxfordQuantumVideo
Download
33
Mathys Rennela: "W*-algebras as presheaves over matrix algebras"
OxfordQuantumVideo
Download
34
Bas Westerbaan: "Paschke dilations"
OxfordQuantumVideo
Download
35
Alex Wilce: "A royal road to quantum theory (or thereabouts)"
OxfordQuantumVideo
Download
36
M. Ozawa: "Operational meanings of orders of observables defined through quantum set theories"
OxfordQuantumVideo
Download
37
M. Sadrzadeh: "A generalised quantifier theory of natural language in categorical semantics"
OxfordQuantumVideo
Download
38
Dan Marsden: "Ambiguity and incomplete information in categorical models of language"
OxfordQuantumVideo
Download
39
Martha Lewis: "Graded entailment for compositional distributional semantics"
OxfordQuantumVideo
Download