CoREACT General Meeting Winter 2026
IRIF - Université Paris Cité, Bâtiment Sophie Germain
Date
November 9, 2026 09:30 — 12:30
Location
online
Organisation
The meeting will be held via Zoom.
Program
| Time | Speaker | Title | |
|---|---|---|---|
| 09:30 - 09:45 | Nicolas Blanco | Introduction of New Postdoctoral Researcher | |
| 09:45 - 10:30 | Nicolas Behr | Instantiation Calculus Release Candidate | |
| 10:30 - 11:00 | Ambroise Lafont | CoREACT Workbench: A Graphical Interface for Diagrammatic Reasoning | |
| 11:00 - 11:15 | coffee break | ||
| 11:15 - 11:45 | Samuel Arsac | CoREACT PhD Project Presentation | |
| 11:45 - 12:00 | Enrico Tassi | Demo of rocq-elpi-json | |
| 12:00 - 12:30 | Discussion on Instantiation Calculus and CoREACT Workbench developments | ||