Formalization of Cohomology Theories

Videos from BIRS Workshop

, Texas A&M
- 10:00
The path to the formalization of de Rham cohomology
Watch video | Download video: 202305220900-Kudriashov.mp4 (216M)
,
- 10:00
Watch video | Download video: 202305230900-Morrison.mp4 (126M)
, University of Utah
- 11:30
Formalizing the Brouwer Fixed Point Theorem in Lean
Watch video | Download video: 202305231030-Murphy.mp4 (46M)
, Nantes Université / INRIA
- 14:30
Formalization of diagram chasing as a first-order logic in Coq
Watch video | Download video: 202305231330-Piquerez.mp4 (63M)
, Universidad Autónoma de Madrid
- 15:45
Cohomology in Number Theory
Watch video | Download video: 202305231445-deFrutosFernandez.mp4 (89M)
, Université Paris Cité
- 09:50
Frames, profinite structures and sheaves
Watch video | Download video: 202305240900-vanGool.mp4 (52M)
, University of Copenhagen
- 10:55
Discrete Condensed Sets
Watch video | Download video: 202305241005-Asgeirsson.mp4 (111M)
, Université Paris-Saclay
- 12:00
Formalization of derived categories in Lean
Watch video | Download video: 202305241110-Riou.mp4 (75M)
, University of Paris-Saclay
- 10:00
What can we learn from formalizations in homotopy type theory?
Watch video | Download video: 202305250900-vanDoorn.mp4 (73M)
, University of Freiburg
- 11:30
Watch video | Download video: 202305251030-Barton.mp4 (109M)
, Stockholm University
- 15:00
Cohomology Theory and Brunerie Numbers in Cubical Agda
Watch video | Download video: 202305251400-Ljungstrom.mp4 (67M)
, London School of Geometry and Number Theory
- 09:30
Group cohomology in Lean
Watch video | Download video: 202305260830-Livingston.mp4 (111M)
, Institute of Software, Chinese Academy of Sciences
- 10:30
Formalizations in set theory: challenges and opportunities
Watch video | Download video: 202305260930-Zhan.mp4 (61M)