LoVe Seminars :
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
Coherence via strategic rewriting in higher Kleene algebras.
#LoVe Seminar
Cameron calk
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
#LoVe Seminar
Sergueï Lenglet
2023-02-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
#LoVe Seminar
Sergueï Lenglet
2023-01-19 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Modular Analysis of Tree-Topology Models
#LoVe Seminar
Jaime Arias
2022-10-24 12:15:00, #SéminaireLoVeBBB : https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u