Sophie Huiberts
2022-12-01 14:00:00, #SéminaireAOCHttps://bbb.lipn.univ-paris13.fr/b/wol-ma9-vjn – code: 514019
Category: Past seminar
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
Combinatorial solvers and neural networks
Pasquale Minervini
2022-11-24 10:30:00, #SéminaireAOCHttps://bbb.lipn.univ-paris13.fr/b/wol-ma9-vjn – code: 514019
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
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Laure Petrucci
2022-11-25 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
Sergueï Lenglet
2023-01-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse