Subatomic Proof Systems- 1st WiL workshop, 2017 in Iceland. June 2017. Slides.
Decomposition and cycles: isolating two complexity-generating mechanisms.- FISP kick-off in Innsbruck. November 2016. Slides.
Generalising cut elimination through subatomic proof systems, or the math stuff that I do- talk for a general computer science audience at the departmental seminar in the University of Bath. July 2016. Slides.
Generalising cut elimination through subatomic proof systems- PCC 2016 in Munich. May 2016. Abstract.Slides.
Generalising cut-elimination through Subatomic Logic- ALCOP 7, 2016 in Vienna. April 2016. Slides.
A Generalised cut-elimination Procedure through Subatomic Proof Systems- WENPS 2015 in Bath. December 2015. Slides.
Subatomic Proof Systems- PCC 2015 in Oslo. May 2015. Abstract. Slides.