I2M Luminy – TPR2, Salle de Séminaire 304-306 (3ème étage)
Adresse
163 Avenue de Luminy
Marseille
13009
France
Évènement à venir
- On the topological structure of the space of ℤᵈ-subshifts - 10/02/2026 - 11h00 - 12h00
- Is typed realizability only predicative? - 12/02/2026 - 11h00 - 12h30
- Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten! - 19/02/2026 - 11h00 - 12h30
