### A DSL for HoTT in Lean 4

Trimester in Prospects of Formal Mathematics, Hausdorff Research Institute in Mathematics (HIM), Bonn

Trimester in Prospects of Formal Mathematics, Hausdorff Research Institute in Mathematics (HIM), Bonn

Trimester in Prospects of Formal Mathematics, Hausdorff Research Institute in Mathematics (HIM), Bonn

Dutch Formal Methods Day 2024, Univeristy of Utrecht

Seminar Talk, TU Delft Programming Language Group

MURI Meeting 2022, Carnegie Mellon University, Pittsburgh, USA

Association for Symbolic Logic, 2022 Annual Meeting, Cornell University, Ithaca, USA

HoTT Seminar, Pittsburgh HoTT Seminar

Conference talk, TACL 2019, Laboratoire Mathématiques J.A. Dieudonné, Université Côte d’Azur, Parc Valrose

Conference talk, Toposes in Como, Chiostro di Sant’Abbondio, Università degli Studi dell’Insubria

Conference talk, YaMCATS, School of Mathematics, University of Sheffield

Conference talk, PSSL 101, School of Mathematics, University of Leeds