Bruno Escoffier
2023-01-16 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Category: Past seminar
Optimisation problems
Bruno Escoffier
2023-01-16 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Optimisation problems
Bruno Escoffier
2023-01-16 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Synchronous and spatialized computations with Global Transformations
Alexandre Fernandez
2022-12-15 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
On the weakness of logarithmic depth algebraic circuits
Ulysse Léchine
2022-12-12 16:00:00, #SéminaireCompSalle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy
Lower bounds in Algebraic complexity
Sébastien Tavenas
2022-12-12 14:30:00, #SéminaireCompSalle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy
Titre bientôt disponible
Alexandre Fernandez
2022-12-15 10:00: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: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
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