Events


Seminars :

Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali

2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Lison Blondeau-Patissier

2023-09-07 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Nejat Arinik

2023-02-16 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Non-deterministic abstract machines

Sergueï Lenglet

2023-02-09 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Non-deterministic abstract machines

Sergueï Lenglet

2023-01-19 10:30:00, #SéminaireLoVe
Salle 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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Reformulations pour l’optimisation convexe par morceaux

Renan Spencer Trindade

2023-04-04 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

The cartesian closed bicategory of thin spans

Simon Forest

2023-04-13 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Reformulations pour l’optimisation convexe par morceaux

Renan Spencer Trindade

2023-04-06 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Renan Spencer Trindade

2023-04-06 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Back to Top