Événements
Séminaires :
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Daniel Osorio
2022-12-02 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Vers des Processus Métier Corrects basés sur la Blockchain
Ikram Garfatta
2022-12-09 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Alexandre Fernandez
2022-12-15 10:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
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
Smoothed analysis of the simplex method
Sophie Huiberts
2022-12-01 14:00:00, #SéminaireAOCHttps://bbb.lipn.univ-paris13.fr/b/wol-ma9-vjn – code: 514019
Soutenances :
Aucune soutenance disponible.
Conférences :
Aucune conférence disponible.
Séminaires passés :
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