Formalization of Cohomology Theories
Videos from BIRS Workshop
Iurii Kudriashov, Texas A&M
Monday May 22, 2023 09:00 - 10:00
The path to the formalization of de Rham cohomology
Scott Morrison,
Tuesday May 23, 2023 09:00 - 10:00
Brendan Murphy, University of Utah
Tuesday May 23, 2023 10:30 - 11:30
Formalizing the Brouwer Fixed Point Theorem in Lean
Matthieu Piquerez, Nantes Université / INRIA
Tuesday May 23, 2023 13:30 - 14:30
Formalization of diagram chasing as a first-order logic in Coq
María Inés de Frutos Fernández, Universidad Autónoma de Madrid
Tuesday May 23, 2023 14:45 - 15:45
Cohomology in Number Theory
Sam van Gool, Université Paris Cité
Wednesday May 24, 2023 09:00 - 09:50
Frames, profinite structures and sheaves
Dagur Ásgeirsson, University of Copenhagen
Wednesday May 24, 2023 10:05 - 10:55
Discrete Condensed Sets
Joël Riou, Université Paris-Saclay
Wednesday May 24, 2023 11:10 - 12:00
Formalization of derived categories in Lean
Floris van Doorn, University of Paris-Saclay
Thursday May 25, 2023 09:00 - 10:00
What can we learn from formalizations in homotopy type theory?
Reid Barton, University of Freiburg
Thursday May 25, 2023 10:30 - 11:30
Axel Ljungström, Stockholm University
Thursday May 25, 2023 14:00 - 15:00
Cohomology Theory and Brunerie Numbers in Cubical Agda
Amelia Livingston, London School of Geometry and Number Theory
Friday May 26, 2023 08:30 - 09:30
Group cohomology in Lean
Bohua Zhan, Institute of Software, Chinese Academy of Sciences
Friday May 26, 2023 09:30 - 10:30
Formalizations in set theory: challenges and opportunities
