- Isabelle/UTP: A mechanised theory engineering framework. UTP 2014 Symposium and internal group seminar.
- CML Theorem Prover. Successful COMPASS Year 2 EU review, Brussels, November 2013.
- Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists. Newcastle Research Seminar, May 2013.
- CML tutorial - Incorporating the Dwarf Signal Example. COMPASS Convergence Meeting in Bremen, Germany, Feb 2013.
- Correctness of Object Oriented Models by Extended Type Inference. ICTAC 2012, Bangalore, India.
- Applying Agda in Model Driven Design. McMaster University Research Seminar, Hamilton, Canada, Aug 2011.
- Integrating an Automated Theorem Prover into Agda. NASA Formal Methods Conference, Los Angeles, Apr 2011.
- Cashew-Nuts in Haskell. Implementation of a Timed Process Calculus in Haskell. Sheffield Theory SIG, 2005.