2018.10.01

**University of Calgary** [website]
*Introduction to univalence in Coq II*
Calgary Peripatetic Seminar in Logic and Category Theory

2018.09.24

**University of Calgary** [website]
*Introduction to univalence in Coq*
Calgary Peripatetic Seminar in Logic and Category Theory

2018.08.29

**University of Calgary**

*Linearisation of infinity categories*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.07.03

**University of Calgary**

*More Elements of the Theory of Quasi-categories*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.06.27

**University of Calgary**

*Elements of the Theory of Quasi-categories*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.06.04

**University of New Brunswick** [website]
*The Calculus of Infinity Functors and Tangent Categories*
Canadian Mathematical Society, Summer Meeting

2018.06.02

**Mount Allison University** [website]
*Tangent Bundles of Groupoids, Pre-groupoids and Torsoids*
26th Foundational Methods in Computer Science Workshop

2018.05.14

**University of Calgary**

*A Two Dimensional Setting for the Calculus of Infinity Functors: Part II*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.04.30

**University of Calgary**

*A Two Dimensional Setting for the Calculus of Infinity Functors*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.03.26

**University of Calgary**

*Free co-completion, presheaves and sheaves*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.02.26

**University of Calgary**

*Localisation of Simplicial Presheaf Categories*

Calgary Peripatetic Seminar in Logic and Category Theory

2018.01.22

**University of Calgary**

*The Calculus of Functors using Sheafification*

Calgary Peripatetic Seminar in Logic and Category Theory

2017.10.13

**University of Calgary**

*Sites of Smooth Affine Schemes: Part III*

Calgary Peripatetic Seminar in Logic and Category Theory

2017.10.06

**University of Calgary**

*Sites of Smooth Affine Schemes: Part II*

Calgary Peripatetic Seminar in Logic and Category Theory

2017.09.22

**University of Calgary**

*Sites of Smooth Affine Schemes*

Calgary Peripatetic Seminar in Logic and Category Theory

2017.09.06

**University of Calgary**

*Lie's Third Theorem using an Intuitionistic Double Negation*

Calgary Peripatetic Seminar in Logic and Category Theory

2017.04.02

** University of Cambridge** [website]
*Lie's Third Theorem in Synthetic Differential Geometry* [pdf]
Category Theory Seminar

2016.10.07

**University of Calgary**
*Infinitesimals in Lie Theory* [pdf]
Calgary Mathematics Department Colloquium

2016.09.30

**University of Calgary**

*Lie Theory for Categories using Infinitesimals*

Calgary Peripatetic Seminar in Logic and Category Theory

2015.12.04

**Universite Paris Diderot, Paris 7** [website]
*Multi-object Lie theory using synthetic differential geometry*
Seminaire de geometrie et physique mathematique

2015.11.17

**University of Cambridge** [website]
*A Synthetic Version of Lie's Second Theorem* [pdf]
Category Theory Seminar

2015.11.05

**Masaryk University, Brno**
*Lie's Second Theorem* [pdf]
Algebra Seminar

2015.10.28

**Masaryk University, Brno**
*Jet Part of a Category* [pdf]
Algebra Seminar

2015.10.26

**Masaryk University, Brno**
*An Introduction to Synthetic Differential Geometry* [pdf]
Differential Geometry Seminar

2015.10.10

**Trest, Czech Republic** [website]
*Synthetic Lie Theory* [pdf]
Plenary Speaker at Eduard Cech Institute Workshop

2015.05.13ff

**Macquarie University** [website]
*Jet Categories in the Cahiers Topos (2 talks)*
Centre of Australian Category Theory

2014.07.04

**University of Cambridge** [website]
*Synthetic Lie Theory* [pdf]
Category Theory 2014

2014.06.19

**Macquarie University**

*A Synthetic Perspective on the Integrability of Lie Algebroids*

MCDC 2014

2014.05.21ff

**Macquarie University** [website]
*A Synthetic Perspective on the Integrability of Lie Algebroids (3 talks)*
Centre of Australian Category Theory

2013.07.04

**Macquarie University**

*Cohomology from the Perspective of Restriction Categories and Atlases*

MCDC 2013

2012.06.15

**Macquarie University**

*Applications of Logic in Differential Geometry*

MCDC 2012

2011

**University of Cambridge** [website]
*Synthetic Differential Geometry*
Part III talk