Birs- 23w5124: Formalization of Cohomology Theories

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

    Speaker:

    Link:

  2. Title:

    Speaker:

    Link:

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

    Speaker:

    Link:

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

    Speaker:

    Link:

  5. Title:
    Cohomology in Number Theory

    Speaker:

    Link:

  6. Title:
    Frames, profinite structures and sheaves

    Speaker:

    Link:

  7. Title:
    Discrete Condensed Sets

    Speaker:

    Link:

  8. Title:
    Formalization of derived categories in Lean

    Speaker:

    Link:

  9. Title:
    What can we learn from formalizations in homotopy type theory?

    Speaker:

    Link:

  10. Title:

    Speaker:

    Link:

  11. Title:
    Cohomology Theory and Brunerie Numbers in Cubical Agda

    Speaker:

    Link:

  12. Title:
    Group cohomology in Lean

    Speaker:

    Link:

  13. Title:
    Formalizations in set theory: challenges and opportunities

    Speaker:

    Link: