LoVe Seminars :
Languages of Higher Dimensional Timed Automata
#LoVe Seminar
Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
#LoVe Seminar
Vincent Moreau
2023-11-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
#LoVe Seminar
Nathanael Arkor
2023-09-21 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
#LoVe Seminar
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
#LoVe Seminar
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse