Homotopy languages
Talk, ASSUME seminar, University of Birmingham
Invited talk for the ASSUME joint seminar on Univalent foundations between Universities of Birmingham and Notthingham.
Talks and presentations
The language of a model category
Talk, Categorical logic and higher categories, University of Manchester
Speed talk at the Categorical logic and higher categories conference
The language of a model category
Talk, Foundational methods in computer science, University of Calgary, Kannaskis research station
Contributed talk at the Foundational methods in computer science in Kananaskis, AB.
The language of a model category
Talk, Universidad de Santiago de Compostela, Santiago de Compotela, Spain
Contributed talk during the Category Theory Conference 2024 (CT2024).
Limits and colimits in simplicial homotopy type theory
Talk, University of Regensburg, Regensburg, Germany
Contributed talk during the Interactions of Proof Assistants and Mathematics Summer School at Regensburg.
Limits and colimits of synthetic (∞,1)-categories.
Talk, Deparment of Mathematics, University of Ottawa
Talk for the Logic Seminar in the Deparment of Mathematics at UOttawa at the University of Ottawa.s