L’IRIF est ravi d’accueillir Dexter Kozen de l’Université Cornell en tant qu'intervenant de nos Distinguished Talks. La conférence aura lieu le 3 décembre 2024 à partir de 11h. Plus de détails à venir !