Mathieu Besançon
2025-11-20 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Category: Past seminar
Partitioning a Graph into Connected Components
Hande Yaman
2025-11-18 14:00:00, #SéminaireAOCSalle G201
Characterizing NC1 with Typed Monoids
Aidan Evans
2025-11-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
From Semantics to Syntax: A Type Theory for Comprehension Categories
Niyousha Najmaei
2025-11-06 11:00:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Higher dimensional floorplans and Baxter permutations
Thomas Muller
2025-11-04 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Aircraft routing: periodicity and complexity
Frédéric Meunier
2025-11-06 10:30:00, #SéminaireAOCSalle D215, Université de Villetaneuse
Statistical geometry and the Goldberg conjecture
Fortuné Massamba
2025-10-21 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
T-structures entre logique et topologie
Mathieu Anel
2025-10-21 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Formal Verification of Systems with Unbounded Agents
Tephila Prince
2025-10-21 10:15:00, #SéminaireSaferHttps://bbb.lipn.univ-paris13.fr/b/ola-2wl-jir-a0l
The neighborhood dominant polytope
Yue Zhang
2025-10-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse