LoVe Seminars :
Typing Nets as a cost-effective Presentation of the Curry-Howard Isomorphism
#LoVe Seminar
Paulin Jacobé de Naurois
2024-04-25 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
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