LoVe Seminars :

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

#LoVe Seminar

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

#LoVe Seminar

Ikram Garfatta

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

Titre bientôt disponible

#LoVe Seminar

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

#LoVe Seminar

Jaco van de Pol

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

Titre bientôt disponible

#LoVe Seminar

Hugo Paquet

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

Back to Top