Matthieu Piquerez

  1. Title:
    Tropical Hodge theory
    Speaker:
    Matthieu Piquerez

    Link:
    https://video-archive.fields.utoronto.ca/view/16873

  2. 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