**A study of normalisation through subatomic logic.**

SYSMICS workshop in Vienna, February 2018. Slides.

**Subatomic Proof Systems.**

1st WiL workshop, 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.**