Video: https://youtu.be/G91-yBNUu9I
Notes: https://topos.site/events/berkeley-seminar/slides/2022-12-19.pdf
Monday 19 December 2022
Berkeley Seminar
Topos Institute
Notes: https://drive.google.com/file/d/1jhaG8j_450VcCYi70SigA8ndMo1Y1caT/view?usp=sharing
Friday 3 December 2021
Australian Kittens: An ECR Conference
University of Melbourne
Awards won:
Scariest (Pseudo)-Commutative Diagram Award
Abstract "Non"-Sense Award
Notes: https://drive.google.com/file/d/1apDMxQXjJTHaOo1M6vjveIugv9wU9wMw/view?usp=sharing
Wednesday 17 November 2021
Australian Category Seminar
Macquarie University
Notes: https://drive.google.com/file/d/18zdRsAKihclPvwxEVfkLeKeuHKf1ACTl/view?usp=sharing
Wednesday 25 March 2020
Australian Category Seminar
Macquarie University
Notes: https://drive.google.com/file/d/1iSq9Yy8JdKL14OwBKnm0rNvSfEZHuxfC/view?usp=sharing
Wednesday 4 March 2020
Australian Category Seminar
Macquarie University
Notes: https://drive.google.com/file/d/1z-kuEzH-604JAG4eCLyyKR1Kph_CRort/view?usp=sharing
Wednesday 19 February 2020
Australian Category Seminar
Macquarie University
Video: https://www.youtube.com/watch?v=nXHUHdCvDl8
March 2019
Geometry in Modal Homotopy Type Theory
Carnegie Mellon University