Daniel Osorio
2022-12-02 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire passé
Exploring a Parallel SCC Algorithm: Using TLA+ and the TLC Model Checker
Jaco van de Pol
2022-12-02 13:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Daniel Osorio
2022-12-02 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Smoothed analysis of the simplex method
Sophie Huiberts
2022-12-01 10:30:00, #SéminaireAOCHttps://bbb.lipn.univ-paris13.fr/b/wol-ma9-vjn – code: 514019
Smoothed analysis of the simplex method
Sophie Huiberts
2022-12-01 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
2-dimensional fixpoint operators
Zeinab Galal
2022-11-25 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Daniel Osorio
2022-12-02 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
strategFTO: Untimed control for timed opacity
Dylan Marinho
2022-11-18 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Optimisation problems
Bruno Escoffier
2023-01-09 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Barriers in Complexity {II}
Thomas Seiller
2022-11-14 14:30:00, #SéminaireCompHybrid (room B107 and https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)