Computing Cohomology Rings in Cubical Agda Thomas Lamiaux , Axel Ljungström , Anders Mörtberg , HoTT/UF Abstract Abstract : I will give at talk at HoTT/UF entitled “Computing Cohomology Rings in Cubical Agda” about our associated CPP paper.