Plus de détails ainsi que les archives des exposés passés se trouvent sur la page du séminaire.
Évènement à venir
- Toposes for monoid actions for complexity theory - 02/02/2023 - 11 h 00 min - 12 h 30 min
- Développement de Taylor extensionnel des λ-termes purs - 09/02/2023 - 11 h 00 min - 12 h 30 min
- Journées Scalp au CIRM - 15/02/2023 - 17/02/2023 - Toute la journée
- Rencontre Chocola à Lyon - 09/03/2023 - Toute la journée
- TBA - 23/03/2023 - 11 h 00 min - 13 h 00 min
- Rencontre Chocola à Lyon - 30/03/2023 - Toute la journée