# Oxford Quantum Talks Archive

We currently have videos of 194 talks by 117 different speakers:

- Samson Abramsky
- John Baez
- Howard Barnum
- John Barrett
- Jonathan Barrett
- Bruce Bartlett
- Arno Bastenhof
- Luca Bernardinello
- Paolo Bertozzini
- Edward Blakey
- Pawel Blasiak
- Leron Borsten
- Harvey Brown
- Ronnie Brown
- Dan Browne
- Eugenia Cheng
- Stephen Clark
- Daoud Clarke
- Bob Coecke
- Louis Crane
- Peter Crompton
- Tanner Crowder
- Giacomo Mauro D'Ariano
- Ellie D'Hondt
- Yannick Delbecque
- Alejandro Diaz-Caro
- Panel discussion
- Lucas Dixon
- Andreas Doering
- Fay Dowker
- Ross Duncan
- Bill Edwards
- Jeff Egger
- Martin Escardo
- Bertfried Fauser
- Johnny Feng
- Chris Fewster
- Joe Fitzsimons
- Cecilia Flori
- Mai Gehrke
- Sam van Gool
- Jonathan Grattage
- Edward Grefenstette
- Otfried Guehne
- Keith Hannabuss
- Helle Hansen
- John Harding
- Lucien Hardy
- Chris Heunen
- Basil Hiley
- Peter Hines
- Martin Hyland
- Chris Isham
- Bart Jacobs
- Peter Johnstone
- Richard Jozsa
- Aleks Kissinger
- Joachim Kock
- Vladimir Korepin
- Ugo Dal Lago
- Ray Lal
- Marco Lanzagorta
- Tom Leinster
- Lorenzo Maccone
- Shahn Majid
- Jorik Mandemaker
- Keye Martin
- Paul-Andre Mellies
- Catherine Meusburger
- Akimasa Miyake
- Ieke Moerdijk
- Michael Moortgat
- John Morton
- Michael Mueger
- Christopher J. Mulvey
- Maarten van den Nest
- Tim Palmer
- Alessandra Palmigiano
- Prakash Panangaden
- Eric Paquette
- Dirk Pattinson
- Dusko Pavlovic
- Simon Perdrix
- Sandu Popescu
- Anne Preller
- Stephen Pulman
- Pedro Resende
- Raul Leal Rodriguez
- Terry Rudolph
- Mehrnoosh Sadrzadeh
- Sina Salek
- Urs Schreiber
- Benjamin Schumacher
- Peter Selinger
- Steve Simon
- Sonja Smets
- Rob Spekkens
- Bas Spitters
- Isar Stubbe
- Paul Taylor
- Benoit Valiron
- Vlatko Vedral
- Joost Vercruysse
- Jamie Vicary
- Steve Vickers
- Bob Walters
- Quanlong Wang
- Reinhard Werner
- Michael Westmoreland
- Alex Wilce
- Simon Willerton
- Andreas Winter
- James Wootton
- Ben Worrell
- Jon Yard
- Martin Ziegler
- Boris Zilber

# Samson Abramsky

- Categorical quantum mechanics: The "monoidal" approach, Categories, Logic and Foundations of Physics I
- Coalgebraic methods in quantum computing, QICS spring school 2010
- Information flow in physics, geometry, logic and computation V: A tale of dependence and separation, Clifford Lectures 2008
- Non-unital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics, Flowin'Cat 2010

# John Baez

- Duality in logic and physics, Quantum Physics and Logic 2010

# Howard Barnum

- (No title), Logic, Physics and Quantum Information Theory
- Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories, Quantum Physics and Logic 2010
- Generalized probabilistic theories 2, QICS spring school 2010

# John Barrett

- Knots and links in braided quantum field theory, Categories, Logic and Foundations of Physics III
- State sum models, induced gravity and the spectral action, Quantum Physics and Logic 2010

# Jonathan Barrett

- Generalized probabilistic theories 1, QICS spring school 2010

# Bruce Bartlett

- Aspects of duality in 2-categories, Categories, Logic and Foundations of Physics II
- Compact categories as dagger-Frobenius pseudoalgebras, Quantum Physics and Logic 2010

# Arno Bastenhof

# Luca Bernardinello

- On orthomodular posets generated by transition systems, Quantum Physics and Logic 2008

# Paolo Bertozzini

- Categories of spectral geometries, Categories, Logic and Foundations of Physics II

# Edward Blakey

- Computational complexity in non-Turing models of computation: the what, the why and the how, Quantum Physics and Logic 2008

# Pawel Blasiak

- Graph models of the Heisenberg-Weyl algebra, Categories, Logic and Foundations of Physics VI

# Leron Borsten

- Black holes, qubits and octonions, Categories, Logic and Foundations of Physics V

# Harvey Brown

# Ronnie Brown

- What is and what should be 'higher dimensional group theory'?, Categories, Logic and Foundations of Physics VII

# Dan Browne

- Measurement-based quantum computation, Logic, Physics and Quantum Information Theory
- Measurement-based quantum computing, measurement-based classical computing, and non-locality, QICS spring school 2010

# Eugenia Cheng

- The periodic table of n-categories, Categories, Logic and Foundations of Physics IV

# Stephen Clark

# Daoud Clarke

- Language as an algebra, Flowin'Cat 2010

# Bob Coecke

- A survey of categorical quantum mechanics, Logic, Physics and Quantum Information Theory
- Classical versus quantum -- in pictures, Clifford Lectures 2008
- Introduction to monoidal categories and graphical calculus 1, Courses
- Introduction to monoidal categories and graphical calculus 1, QICS spring school 2010
- Lambek vs Lambek - type grammars and resulting information-flows for compositional distributional meaning, Flowin'Cat 2010
- Tutorial: the quantum formalism, Categories, Logic and Foundations of Physics III

# Louis Crane

- Model categories in quantum gravity, Categories, Logic and Foundations of Physics III
- Relational topology and quantum gravity, Categories, Logic and Foundations of Physics I
- The category of spacetime regions, Quantum Physics and Logic 2010

# Peter Crompton

- A quiver gauge theory and toric variety route to entanglement entropy, Quantum Physics and Logic 2009

# Tanner Crowder

- Classical representations of qubit channels, Quantum Physics and Logic 2009

# Giacomo Mauro D'Ariano

- Towards an operational derivation of quantum mechanics, Quantum Physics and Logic 2009

# Ellie D'Hondt

- Classical knowledge for quantum security, Quantum Physics and Logic 2008

# Yannick Delbecque

- Quantum higher types, Quantum Physics and Logic 2008

# Alejandro Diaz-Caro

- Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic?, Quantum Physics and Logic 2009

# Panel discussion

- Why n-categories?, Categories, Logic and Foundations of Physics VI

# Lucas Dixon

- Introduction to monoidal categories and graphical calculus 6, Courses
- Plans, actions and dialogue using linear logic, Flowin'Cat 2010
- Quantomatic demo, QICS spring school 2010

# Andreas Doering

- Some steps towards noncommutative Gel'fand duality, Quantum Physics and Logic 2010
- States and measures, Categories, Logic and Foundations of Physics V
- Topos mini-course 1, Courses
- Topos mini-course 2, Courses
- Topos mini-course 3, Courses
- Topos mini-course 4, Courses
- Topos mini-course 5, Courses
- Topos mini-course 6, Courses
- Topos mini-course 7, Courses
- Topos quantum logic and mixed states, Quantum Physics and Logic 2009
- Tutorial: conceptual issues in quantum theory, Categories, Logic and Foundations of Physics III

# Fay Dowker

- Dynamical logic, Categories, Logic and Foundations of Physics II

# Ross Duncan

- Classical structures, MUBs, and pretty pictures, Categories, Logic and Foundations of Physics I
- Complementarity, quantum algebra, and applications to measurement-based quantum computing, QICS spring school 2010
- Convexity, Categorical Semantics and the Foundations of Physics, Quantum Physics and Logic 2010
- Finding the true flow in measurement-based quantum computation, Flowin'Cat 2010
- Interacting quantum observables, ICALP 2008
- Introduction to monoidal categories and graphical calculus 5, Courses
- The logic of complementary observables, Clifford Lectures 2008

# Bill Edwards

- Phase groups and non-locality, QICS spring school 2010
- The group-theoretic origin of non-locality for qubits, Quantum Physics and Logic 2009
- Toy quantum categories, Quantum Physics and Logic 2008

# Jeff Egger

# Martin Escardo

- Maybe locales are made out of points after all, Categories, Logic and Foundations of Physics VII

# Bertfried Fauser

- Advanced graphical calculus - Hopf, Frobenius, Schur and some motivation from group theory, Categories, Logic and Foundations of Physics VI
- Some graphical aspects of Frobenius algebra, Flowin'Cat 2010

# Johnny Feng

- A Domain of Unital Channels, Quantum Physics and Logic 2010

# Chris Fewster

- The locally covariant approach to quantum field theory in curved spacetimes, Categories, Logic and Foundations of Physics III

# Joe Fitzsimons

- Blind quantum computing, QICS spring school 2010

# Cecilia Flori

- Topos formulation of history quantum theory, Categories, Logic and Foundations of Physics VII

# Mai Gehrke

- Relational semantics in the not-necessarily-distributive setting, Flowin'Cat 2010

# Sam van Gool

# Jonathan Grattage

- QML in 15 minutes, Quantum Physics and Logic 2008

# Edward Grefenstette

- Concrete sentence spaces, Flowin'Cat 2010

# Otfried Guehne

- Classical simulation of quantum contextuality, Quantum Physics and Logic 2010
- Quantum contextuality, QICS spring school 2010

# Keith Hannabuss

- Categories and non-associative C*-algebras in quantum field theory, Categories, Logic and Foundations of Physics III

# Helle Hansen

- Specifying pointwise operations on final coalgebras, Flowin'Cat 2010

# John Harding

- A link between quantum logic and categorical quantum mechanics, Quantum Physics and Logic 2009

# Lucien Hardy

- A formalism-local framework for general probabilistic theories including quantum theory, Seminars
- The causaloid approach to quantum theory and quantum gravity, Logic, Physics and Quantum Information Theory

# Chris Heunen

- A topos for algebraic quantum theory, Categories, Logic and Foundations of Physics I
- Complementarity in categorical quantum mechanics, Quantum Physics and Logic 2010
- Introduction to monoidal categories and graphical calculus 2, Courses
- Introduction to monoidal categories and graphical calculus 2, QICS spring school 2010
- Introduction to monoidal categories and graphical calculus 3, Courses
- Introduction to monoidal categories and graphical calculus 3, QICS spring school 2010
- Quantum logic in dagger kernel categories, Quantum Physics and Logic 2009

# Basil Hiley

- Towards a quantum geometry: groupoids, Clifford algebras and shadow manifolds, Categories, Logic and Foundations of Physics II

# Peter Hines

- Is coherence important in quantum computing?, QICS spring school 2010
- Types and forgetfulness in categorical linguistics and quantum mechanics, Flowin'Cat 2010

# Martin Hyland

- On distributive laws, Categories, Logic and Foundations of Physics VI

# Chris Isham

- Topos theory in the formulation of theories of physics, Categories, Logic and Foundations of Physics I

# Bart Jacobs

- Coalgebraic walks, in quantum and Turing computation, Flowin'Cat 2010
- Involutive Categories and Monoids, with a GNS-correspondence, Quantum Physics and Logic 2010

# Peter Johnstone

- Topos-theoretic models of the continuum, Categories, Logic and Foundations of Physics II

# Richard Jozsa

- Classical simulation of quantum circuits, QICS spring school 2010

# Aleks Kissinger

- Compositional multipartite entanglement, QICS spring school 2010
- Entanglement classification with classical structures and graph rewriting, Categories, Logic and Foundations of Physics V

# Joachim Kock

- Feynman graphs and compact multicategories, Quantum Physics and Logic 2009

# Vladimir Korepin

- Reduced Density Matrix in Spin Models, Quantum Physics and Logic 2010

# Ugo Dal Lago

- Confluence results for a quantum lambda calculus with measurements, Quantum Physics and Logic 2009

# Ray Lal

- Causal categories: a backbone for a quantum-relativistic universe of interacting processes, Quantum Physics and Logic 2010

# Marco Lanzagorta

- Kinematic Noise, Quantum Physics and Logic 2010

# Tom Leinster

- An introduction to n-categories, Categories, Logic and Foundations of Physics IV

# Lorenzo Maccone

- A quantum solution to the arrow-of-time dilemma, Quantum Physics and Logic 2008

# Shahn Majid

- Braided Algebra, Flowin'Cat 2010

# Jorik Mandemaker

- Coreflections in Algebraic Quantum Logic, Quantum Physics and Logic 2010

# Keye Martin

- A domain-theoretic model of qubit channels, ICALP 2008
- Domain theory and the causal structure of spacetime II, Clifford Lectures 2008
- How to randomly flip a quantum bit, Quantum Physics and Logic 2008
- Information theoretic representations of qubit channels, Quantum Physics and Logic 2010
- The mechanics of information, Logic, Physics and Quantum Information Theory

# Paul-Andre Mellies

- Quantum groupoids and logical dualities, Categories, Logic and Foundations of Physics II
- String diagrams, a topological account of proofs and programs, Seminars

# Catherine Meusburger

- Higher categories and observables for generalised Turaev-Viro models, Categories, Logic and Foundations of Physics VII

# Akimasa Miyake

- Introduction to measurement-based quantum computing, QICS spring school 2010

# Ieke Moerdijk

- Infinity categories and infinity operads, Categories, Logic and Foundations of Physics IV

# Michael Moortgat

- Beyond the context-free boundary: generalizing Lambek calculus, Flowin'Cat 2010

# John Morton

# Michael Mueger

- Modular categories: a survey, Flowin'Cat 2010

# Christopher J. Mulvey

- Constructive aspects of Gelfand duality, Categories, Logic and Foundations of Physics VII

# Maarten van den Nest

- Introduction to graph states and their applications, QICS spring school 2010

# Tim Palmer

- The invariant set hypothesis: a new geometric framework for the foundations of quantum theory and the role played by gravity, Quantum Physics and Logic 2009

# Alessandra Palmigiano

- Groupoid quantales beyond the etale setting, Flowin'Cat 2010

# Prakash Panangaden

- Domain theory and the causal structure of spacetime I, Clifford Lectures 2008
- Modular tensor categories and topological quantum computing, QICS spring school 2010
- The physics of anyons for computer scientists, Logic, Physics and Quantum Information Theory

# Eric Paquette

- Categories and quantum computating with anyons, Logic, Physics and Quantum Information Theory
- Topological quantum computing with anyons, Categories, Logic and Foundations of Physics IV

# Dirk Pattinson

- Knowledge representation, coalgebraically, Flowin'Cat 2010

# Dusko Pavlovic

- Relating toy models of quantum computation, Quantum Physics and Logic 2009

# Simon Perdrix

- Bases in diagrammatic quantum protocols, Categories, Logic and Foundations of Physics III
- Classical-quantum graphical calculus, QICS spring school 2010
- Flow and depth in measurement-based quantum computing, QICS spring school 2010
- Graphs states and the necessity of Euler decomposition, Quantum Physics and Logic 2009
- Introduction to monoidal categories and graphical calculus 7, Courses
- Partial observation of quantum Turing machine and weaker well-formedness condition, Quantum Physics and Logic 2008

# Sandu Popescu

- Time flow in quantum mechanics, QICS spring school 2010

# Anne Preller

- Three compact closed categories for natural language processing, Flowin'Cat 2010

# Stephen Pulman

- Panel discussion, Flowin'Cat 2010

# Pedro Resende

- Stably Gelfand quantales, groupoids and Cartan sub-C*-algebras, Categories, Logic and Foundations of Physics V

# Raul Leal Rodriguez

- Modalities in the Stone age, Flowin'Cat 2010

# Terry Rudolph

- Does knowing my lambda mean knowing my psi?, Categories, Logic and Foundations of Physics V
- Quantum computing, matrix permanents and why Bob Coecke isn't the only person who gets to do quantum mechanics by drawing trivial-looking graphs, Quantum Physics and Logic 2008

# Mehrnoosh Sadrzadeh

- Bell states and negation in natural languages, Quantum Physics and Logic 2009
- Vector spaces and meaning, QICS spring school 2010
- What is the vector space content of what we say? A categorical approach to distributed meaning, Categories, Logic and Foundations of Physics III

# Sina Salek

- Programmable Hamiltonian for one-way patterns, Quantum Physics and Logic 2009

# Urs Schreiber

- Gage fields in an (oo,1)-topos, Categories, Logic and Foundations of Physics VI

# Benjamin Schumacher

- Modal quantum theory, Quantum Physics and Logic 2010

# Peter Selinger

- Autonomous categories in which A is isomorphic to A*, Quantum Physics and Logic 2010
- Finite-dimensional Hilbert spaces are complete for dagger compact closed categories, Quantum Physics and Logic 2008
- Higher types in quantum computing, QICS spring school 2010

# Steve Simon

# Sonja Smets

- Correlated Information: a logic for multi-partite quantum systems, Quantum Physics and Logic 2009

# Rob Spekkens

- Picturing classical and quantum Bayesian inference, Quantum Physics and Logic 2010
- The power of epistemic restrictions in axiomatizing quantum theory: from trits to qutrits, Seminars

# Bas Spitters

- The space of measurement outcomes as a spectrum for non-commutative algebras, Quantum Physics and Logic 2010

# Isar Stubbe

- Principally-generated modules on a quantale, Categories, Logic and Foundations of Physics IV

# Paul Taylor

- A computable axiomatisation of the topology of R and C, Categories, Logic and Foundations of Physics V

# Benoit Valiron

- On quantum and probabilistic linear lambda calculi, Quantum Physics and Logic 2008
- Orthogonality and Algebraic Lambda-Calculus, Quantum Physics and Logic 2010

# Vlatko Vedral

# Joost Vercruysse

- Kleisli Hopf Algebras, Flowin'Cat 2010

# Jamie Vicary

- A categorical framework for the quantum harmonic oscillator, Categories, Logic and Foundations of Physics I
- Categorical formulation of finite-dimensional C*-algebras, Quantum Physics and Logic 2008
- Categorical properties of the complex numbers, Quantum Physics and Logic 2009
- Compact categories as dagger-Frobenius pseudoalgebras, Quantum Physics and Logic 2010
- Introduction to monoidal categories and graphical calculus 4, Courses
- Introduction to monoidal categories and graphical calculus 4, QICS spring school 2010

# Steve Vickers

- Locales via bundles, Categories, Logic and Foundations of Physics III

# Bob Walters

- An algebra of automata which includes both classical and quantum entities, Quantum Physics and Logic 2009

# Quanlong Wang

- Graphical calculus for the BB84 protocol, Quantum Physics and Logic 2009

# Reinhard Werner

- Quantum cellular automata 2, QICS spring school 2010
- Quantum cellular automata 3, QICS spring school 2010
- Systems and subsystems, Quantum Physics and Logic 2009

# Michael Westmoreland

- Isolation and information flow in quantum dynamics, Quantum Physics and Logic 2010

# Alex Wilce

- Information processing in convex operational theories: cloning, broadcasting, information-disturbance, bit commitment, Quantum Physics and Logic 2008
- Symmetry and composition in probabilistic theories, Quantum Physics and Logic 2009

# Simon Willerton

- Two 2-traces, Categories, Logic and Foundations of Physics III
- Two 2-traces, Categories, Logic and Foundations of Physics VII

# Andreas Winter

- The fidelity alternative and quantum measurement simulation, QICS spring school 2010
- The mother of all protocols: quantum coding for dummies, Quantum Physics and Logic 2008

# James Wootton

- Universal quantum computation with abelian anyon models, Quantum Physics and Logic 2009

# Ben Worrell

# Jon Yard

- (No title), Logic, Physics and Quantum Information Theory

# Martin Ziegler

- Computational Complexity of Geometric Quantum Logic, Quantum Physics and Logic 2010

# Boris Zilber

- On model theory, noncommutative geometry and physics, Categories, Logic and Foundations of Physics VI