Séminaires LoVe :
Active Learning of Mealy Machines with Timers
#SéminaireLoVe
Gaëtan Staquet
2024-11-28 12:30:00, #SéminaireLoVeSalle A303, bâtiment A, Université de Villetaneuse
Séminaire VE : Munyque Mittelman
#SéminaireLoVe
Munyque Mittelman
2024-12-13 12:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Coalition Strategy Logic: Model Checking et Completude
#SéminaireLoVe
Davide Catta
2024-12-03 14:00:00, #SéminaireLoVeSalle A303, LIPN
Journées Chocola
#SéminaireLoVe
Antoine Allioux (IRIF), Higher Structures in Antoine Allioux, Lison Blondeau-Patissier, William Simmons
2023-09-28 10:00:00, #SéminaireLoVeENS LYON, Site Monod
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty
#SéminaireLoVe
Dylan Marinho
2023-09-22 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse [BBB: https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u]