talks

Author: aljungstrom

_talks/HOTT23.md

@@ -0,0 +1,9 @@
+---
+title: "Symmetric Monoidal Smash Products in HoTT"
+collection: talks
+type: "Talk"
+permalink: /talks/HOTT23
+venue: "The Second International Conference on Homotopy Type Theory (HoTT 2023)"
+date: 2023-05-23
+location: "Pittsburgh, USA"
+---

_talks/LICS23.md

@@ -0,0 +1,9 @@
+---
+title: "Formalizing π₄(S³) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda"
+collection: talks
+type: "Talk"
+permalink: /talks/LICS23
+venue: "LICS 2023"
+date: 2022-06-29
+location: "Boston, USA/Online"
+---

_talks/UF23

@@ -0,0 +1,9 @@
+---
+title: "Smash Products Are Symmetric Monoidal in HoTT"
+collection: talks
+type: "Talk"
+permalink: /talks/UF23
+venue: "HoTT/UF 2023"
+date: 2023-04-23
+location: "Vienna, Austria"
+---

_talks/banff.md

@@ -0,0 +1,9 @@
+---
+title: "Cohomology Theory and Brunerie Numbers in Cubical Agda"
+collection: talks
+type: "Talk"
+permalink: /talks/banff
+venue: "Formalization of Cohomology Theories"
+date: 2022-05-25
+location: "Banff, Canada/Online"
+---

_talks/sthlm-gbg-smash.md

@@ -0,0 +1,9 @@
+---
+title: "Dealing With Smash Products in HoTT"
+collection: talks
+type: "Talk"
+permalink: /talks/sthlm-gbg-smash
+venue: "Stockholm–Göteborg joint type theory seminar"
+date: 2023-04-12
+location: "Gothenburg, Sweden"
+---

_talks/turin-into.md

@@ -0,0 +1,9 @@
+---
+title: "Introduction to Cubical Agda"
+collection: talks
+type: "Talk"
+permalink: /talks/turin-intro
+venue: "Seminar (Logical Foundations of Computation), University of Turin"
+date: 2023-04-27
+location: "Turin, Italy"
+---

_talks/turin-pi4s3.md

@@ -0,0 +1,9 @@
+---
+title: "π₄(S³) ≅ ℤ/2ℤ Cubical Agda"
+collection: talks
+type: "Talk"
+permalink: /talks/turin-pi4s3
+venue: "Seminar (Logical Foundations of Computation), University of Turin"
+date: 2023-04-28
+location: "Turin, Italy"
+---