Here are slides and some videos of selected talks I have recently given.

### 2017

- Geometry of Abstraction in String Diagrams, DuskoFest, Oxford, October 2017. slides PDF
- Introduction to Categorical Quantum Mechanics, Laboratoire d'Informatique de Grenoble, Grenoble, France, September 2017. slides PDF
- Verifying Quantum Computations with the ZX-calculus, Institute Neel, Grenoble, France, September 2017. slides PDF
- Substitution and binding in string diagrams, STRING 2017 1st Workshop on String Diagrams in Computation, Logic, and Physics, University of Oxford, Oxford, UK, September 2017. slides PDF
- Introduction to Categorical Quantum Mechanics, Hopf Algebras in Kitaev's Quantum Double Models: Mathematical Connections from Gauge Theory to Topological Quantum Computing and Categorical Quantum Mechanics, Perimeter Institute for Theoretical Physics, Waterloo, Canada, August 2017. slides PDF | VIDEO.
- Verifying the smallest interesting colour code with Quantomatic, Quantum Physics and Logic, Radboud Universiteit Nijmegen, The Netherlands, July 2017. slides PDF.
- On Interacting Frobenius Algebras, LORIA Visit 2, Nancy, France, June 2017. slides PDF.
- Verifying Quantum Computations Graphically, LORIA Visit 1, Nancy, France, June 2017. slides PDF.

### 2016

- Interacting Frobenius Algebras are Hopf, Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS'16), Colombia University, New York City, USA, July 2016. slides PDF.

### 2015

- Interacting Frobenius Algebras are Hopf, Workshop on Higher TQFT and categorical quantum mechanics, Erwin SchrÃ¶dinger International Institute for Mathematical Physics, Vienna, Austria, October 2015. slides PDF.
- Strong Complementarity and Non-locality, Logic Colloquium, University of Helsinki, Finland, August 2015. slides PDF.
- The ZX-calculus: diagrams for quantum computing, Quantum Theory from Foundations to Technology, Linneaus University, Växjö, Sweden, June 2015. slides PDF.

### 2014

- The non-logic of quantum computation, OR: how I learned to live without propositions as types, PrakashFest, Oxford University, Oxford, United Kingdom; May 2014. slides PDF.
- Causality and Determinism in MBQC, Quantum Metrology, Interaction, and Causal Structure, Tsinghua University, Beijing, China; December 2014. slides PDF.

### 2013

- The non-logic of quantum computation, OR: how I learned to live without propositions as types, Réunion LOGOI, Univeristé Paris Diderot, Paris, France, June 2013. slides PDF.
- Tracing a path from game semantics to post-quantum protocols, Abramsky Symposium, Oxford University, Oxford, United Kingdom; May 2013. slides PDF.

### 2012

- Verifying one-way programs with the ZX-calculus, Quantum Information Science Workshop, Oxford University, Oxford, United Kingdom; March 2012. slides PDF.
- Categorical Quantum Mechanics Part 2: picturing the one-way model of quantum computation, LIQ seminar; Université Libre de Bruxelles, Brussels, Belgium; March 2012. slides PDF.
- Interacting Observables in Categorical Quantum Mechanics, Logic and Interaction 2012; CIRM, Marseille, France; February 2012. slides PDF.
- Categorical Quantum Mechanics Part 1, LIQ seminar; Université Libre de Bruxelles, Brussels, Belgium; February 2012. slides PDF.

### 2010

- Finding the true flow in measurement-based quantum computation, FLOWINCATS workshop ; Oxford, UK; October 2010. slides PDF; VIDEO.
- Rewriting measurement-based quantum computation with generalised flow, ICALP 2010; Bordeaux, France; July 2010. slides PDF.
- Convexity, Categorical Semantics and the Foundations of Physics, Quantum Physics and Logic; Oxford, UK; May 2010. VIDEO
- Complementarity, quantum algebra, and MBQC, QICS spring school on foundational structures in quantum computation and information; Oxford, UK; May 2010. slides PDF; VIDEO.
- Lectures on Categorical Quantum Mechanics; Hokkaido University, Sapporo, Japan and RIMS, Kyoto, Japan; February 2010. Part 1 slides PDF and Part 2 slides PDF.

### 2009

- A pictorial approach to measurement-based quantum computing, Université Libre de Bruxelles, Brussels, Belgium; November 2009. slides PDF.
- Graph states and the necessity of the Euler decomposition, Computability in Europe 2009 Heidelberg, Germany; July 2009. slides PDF.
- Phase Groups and Complementarity, Categories Quanta and Concepts, Perimeter Institute, Waterloo, Cananda; June 2009. slides PDF, VIDEO.

### 2008

- Computing with Complementary Observables, QICS Workshop on foundational structures for quantum information and computation, Obergurgl, Austria; Septmeber 2008. slides PDF.
- Diagrammatic calculus for quantum processes, Computability in Europe 2008 Athens, Greece; June 2008. slides PDF.
- Interacting Quantum Observables, ICALP 2008; Reykjavik, Iceland; July, 2008. slides PDF, VIDEO.
- The logic of complementary quantum observables, The 2008 Clifford lectures Tulane University, New Orleans, USA; March 2008. slides PDF, VIDEO.
- Mutually Unbiased Embeddings of Classical Logic, March meeting of the american physical society 2008 New Orleans, USA; March 2008. slides PDF.
- Classical structures, MUBs, and pretty pictures, Categories Logic and Foundations of Physics I Imperial College, London, UK; January 2008. VIDEO and slides.

### 2007

- Verifying the Measurement Calculus by Rewriting, Development of Computational Models Wroclaw, Poland; July 2007. slides PDF.
- Quantum Entanglement and Freely Constructed Compact Categories, Traced Monoidal Categories, Network Algebras, and Applications Wroclaw, Poland; July 2007. slides PDF.