CoREACT General Meeting Winter 2024
IRIF - Université Paris Cité, Bâtiment Olympe de Gouges, salle 146
Date
November 29, 2024 10:00 — 14:00
Location
online
Organisation
The meeting will be held in hybrid mode, i.e., both via Zoom and in the form of in-person meetings at IRIF (Salle 4071) and at LIP - ENS Lyon (10:00-11:00: Salle M7; 11:30-14:00: Salle de réunion 316 Centre).
Program
| Time | Speaker | Title | |
|---|---|---|---|
| 10:00 - 10:30 | Tom Hirschowitz | A Hyperdoctrinal Reconstruction of Conditional Calculus | |
| 10:30 - 11:00 | Nicolas Behr | Instantiation Calculus | |
| 11:30 - 12:00 | Ambroise Lafont | Specification of a Diagrammatic Reasoning Tool | |
| 12:00 - 12:45 | Samuel Mimram | An Unbiased Definition of the Simply-Typed Lambda-Calculus | |
| 12:45 - 13:30 | Samuel Arsac | Formalizing Adhesive Categories with HB | |
| 13:30 - 14:00 | open discussion/planning of working groups | ||