Birs- 23w5124: Formalization of Cohomology Theories

  1. Title:
    The path to the formalization of de Rham cohomology
    Speaker:
    Iurii Kudriashov

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305220900-Kudriashov.html

  2. Title:

    Speaker:
    Scott Morrison

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305230900-Morrison.html

  3. Title:
    Formalizing the Brouwer Fixed Point Theorem in Lean
    Speaker:
    Brendan Murphy

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305231030-Murphy.html

  4. Title:
    Formalization of diagram chasing as a first-order logic in Coq
    Speaker:
    Matthieu Piquerez

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305231330-Piquerez.html

  5. Title:
    Cohomology in Number Theory
    Speaker:
    María Inés de Frutos Fernández

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305231445-deFrutosFernandez.html

  6. Title:
    Frames, profinite structures and sheaves
    Speaker:
    Sam van Gool

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305240900-vanGool.html

  7. Title:
    Discrete Condensed Sets
    Speaker:
    Dagur Ásgeirsson

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305241005-Asgeirsson.html

  8. Title:
    Formalization of derived categories in Lean
    Speaker:
    Joël Riou

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305241110-Riou.html

  9. Title:
    What can we learn from formalizations in homotopy type theory?
    Speaker:
    Floris van Doorn

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305250900-vanDoorn.html

  10. Title:

    Speaker:
    Reid Barton

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305251030-Barton.html

  11. Title:
    Cohomology Theory and Brunerie Numbers in Cubical Agda
    Speaker:
    Axel Ljungström

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305251400-Ljungstrom.html

  12. Title:
    Group cohomology in Lean
    Speaker:
    Amelia Livingston

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305260830-Livingston.html

  13. Title:
    Formalizations in set theory: challenges and opportunities
    Speaker:
    Bohua Zhan

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305260930-Zhan.html