CoREACT general meeting 2023
IRIF - Université Paris Cité, Bâtiment Olympe de Gouges, salle 146
Date
November 20, 2023 13:00 — 17:00
Location
IRIF - Université Paris Cité, Bâtiment Olympe de Gouges, salle 146
8 Place Paul Ricœur, Paris, 75013
Program
| Time | Speaker | Title | |
|---|---|---|---|
| 13:00 - 13:45 | invited guest speaker: Matthieu Piquerez | A First Order Theory of Diagram Chasing | |
| 14:00 - 14:45 | Samuel Arsac | M2 project and related work in progress | |
| 15:00 - 15:20 | Cyril Cohen | A HB/category theory library project update | |
| 15:30 - 15:50 | Paolo Torrini | On Formalizations of Double Categories | |
| 16:00 - 16:20 | Ambroise Lafont | An update on my Commutative Diagram Editor | |
| 16:30 - 17:00 | open discussion/planning of working groups | ||