Events
Seminars :
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
Titre bientôt disponible
Nejat Arinik
2023-02-16 10:30:00, #SéminaireAOCSalle 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
PhD Defenses :
No PhD defense available.
Conferences :
No conference available.
Past seminars :
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
James Ortiz
2023-05-12 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Reformulations pour l’optimisation convexe par morceaux
Renan Spencer Trindade
2023-04-04 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
The cartesian closed bicategory of thin spans
Simon Forest
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Reformulations pour l’optimisation convexe par morceaux
Renan Spencer Trindade
2023-04-06 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Renan Spencer Trindade
2023-04-06 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse