Talks

Computing Cohomology Rings in Cubical Agda Abstract

I will give at talk at HoTT/UF entitled “Computing Cohomology Rings in Cubical Agda” about our associated CPP paper.

Introduction and comparison of different approaches to
Initial Semantics Slides

I will give at talk at the workshop DuctCat about entitled “Introduction and comparison of different approaches to Initial Semantics”, in which we will discuss the different approaches and how they relate.

Univalent Relational Parametricity Slides

Stockholm University, Logic Group Seminar

During this talk, we will first review the notion of parametricity and its application to automatic proof transport. We will then look at the framework of univalent parametricity and a new variant univalent relational parametricity which fully scales to CIC