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