# Talks and Papers

Some of my recent talks:

**Diagrammatic Reasoning and Quantum Computation.**Applications of Computer Algebra (ACA), Kalamata, Greece. 2015 [slides]**New reasoning techniques for monoidal algebra.**Theory Group seminar, Queen Mary. 2014 [slides]**Interactive Proof for Diagrammatic Languages.**A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday (SamsonFest). Oxford, UK. 2013 [slides]**Pictures of non-locality in quantum mechanics.**LICS 2012 [slides]

All of my papers are available on: **arXiv**.

*Updated 4 Nov, 2015.*