CoREACT General Meeting Spring 2025
Date
May 26, 2025 10:00 — 17:30
Location
LIX, École Polytechnique
1 Rue Honoré d'Estienne d'Orves, Bâtiment Alan Turing, Palaiseau, 91120
Organisation
Meeting location details
-
The meeting will take place in the Salle Henri Poincaré of the LIX laboratory (UMR 7161, CNRS/Ecole polytechnique).
-
Traveling to LIX by public transport:
- From Paris: Take line B of the RER towards Saint-Rémy-lès-Chevreuse to the Massy-Palaiseau station. Once you arrive, you can take the 91.06 bus which will drop you off directly on the campus of the École Polytechnique.
- From Orly airport: The Orlyval bus connects the airport to the Antony station. From there, take the RER B towards Saint-Rémy-lès-Chevreuse to the Massy-Palaiseau station and follow the instructions above.
-
Further information for how to visit LIX are available here.
Remember to bring an identity document and, if necessary, an invitation letter or email if you have an appointment or come from a specific event. You may be asked to check in when you arrive.
Program (Monday, May 26, 2025)
| Time | Speaker | Title | |
|---|---|---|---|
| 10:00 - 10:45 | Nicolas Behr | Instantiation Calculus | |
| 11:00 - 11:30 | Manuel Catz | A Toolbox From Instantiation Calculus | |
| 11:30 - 11:45 | Hugo Herbelin | An Overview of the MALINCA project | |
| 12:00 - 12:45 | Noam Zeilberger | The Free Bifibration over a Functor | |
| 12:45 - 14:00 | Lunch at the canteen of the École Polytechnique | ||
| 14:00 - 15:30 | Workgroup on Instantiation Calculus Theory and its Formalization in Rocq | ||
| 16:00 - 17:30 | Workgroup on Instantiation Calculus Useer Interface Design and CoREACT Wiki |
Abstracts
TBA