Hugo Paquet
2023-02-02 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Year: 2022
Non-deterministic abstract machines
Sergueï Lenglet
2023-01-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Optimisation problems
Bruno Escoffier
2023-01-09 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Machine-Free Complexity 1
Paulin de Naurois
2022-11-28 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Kolmogorov complexity
Ulysse Léchine
2022-11-21 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Combinatorial solvers and neural networks
Pasquale Minervini
2022-11-24 10:30:00, #SéminaireAOCSalle A303, Université de Villetaneuse
Two unrelated works in progress : building an open data service for student guidance, trying to understand the computational meaning of coherent differential PCF.
Pierre Boudes
2022-11-17 10: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éminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Ikram Garfatta
2022-12-09 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Bidirectional Typing : From a Nice Implementation Technique to a Powerful Theoretical Tool
Meven Lennon-Bertrand
2022-12-08 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse