Semantics of Fine-Grained Mode Checking
Ariadne Suo
IRIF, Paris Cité
https://www.irif.fr/users/ariadne/index
Date(s) : 29/01/2026 iCal
11h00 - 12h30
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
Localisation
Adresses
Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
