Séminaire Langages et Logique Montréal
Le séminaire de recherche Langages et Logique Montréal est heureux de recevoir Aymeric Fromherz (Inria), qui présentera ses travaux sur la vérification formelle de programmes écrits en Rust.
Date / heure
mercredi 30 avril 2025
16 h à 17 h
Lieu
UQAM - Pavillon Président-Kennedy (PK)
PK-5115
201, avenue du Président-KennedyMontréal (QC)
Prix
Gratuit