Événements


Séminaires :

A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

Daniel Osorio

2022-12-02 12:15:00, #SéminaireLoVe
Salle 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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Alexandre Fernandez

2022-12-15 10:00:00, #SéminaireLoVe
Salle 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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Smoothed analysis of the simplex method

Sophie Huiberts

2022-12-01 14:00:00, #SéminaireAOC
Https://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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Smoothed analysis of the simplex method

Sophie Huiberts

2022-12-01 10:30:00, #SéminaireAOC
Https://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éminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

2-dimensional fixpoint operators

Zeinab Galal

2022-11-25 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Daniel Osorio

2022-12-02 12:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Retour vers le haut