Séminaire LLM: «A Contextual Formalization of Coinduction» par Paul Downen (UMass Lowell)
Titre: A Contextual Formalization of Coinduction
Orateur: Paul Downen (UMass Lowell)
Quand: le vendredi 27 février 2026 de 16 h à 17 h
Où: PK-5115, Pavillon Président-Kennedy (UQAM), 201 avenue du Président-Kennedy
Un résumé est disponible sur le site web de l'événement.
Date / heure
vendredi 27 février 2026
16 h à 17 h
Lieu
UQAM - Pavillon Président-Kennedy (PK)
PK-5115
201, avenue du Président-KennedyMontréal (QC)
Prix
Gratuit