Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Category: #LoVe Seminar
Intuitionistic continuous logic
Jérémie Marquès
2024-02-08 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Vincent Moreau
2023-11-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Nathanael Arkor
2023-09-21 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
Sergueï Lenglet
2023-02-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
Sergueï Lenglet
2023-01-19 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Modular Analysis of Tree-Topology Models
Jaime Arias
2022-10-24 12:15:00, #SéminaireLoVeBBB : https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u
An Alternative (Multi-timed) Semantics for Modelling the Behaviour of Distributed Timed Systems
James Ortiz
2022-11-15 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse