Fortuné Massamba
2025-10-21 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire passé
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
A Fibrational Approach to Differential Linear Logic
Jad Koleilat
2025-10-09 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Maximal number of subword occurrences in a word
Wenjie Fang
2025-10-07 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Iterated Grafting Operators and Preferential Attachment Graph Models
Francis Durand
2025-09-30 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Scheduling Quantum Applications on Quantum Chips
Francesco Contu
2025-10-02 10:30:00, #SéminaireAOCSalle A303, bâtiment A, Université de Villetaneuse
Réduction et induction rentrent dans un bar
Jacopo Furlan
2025-09-25 10:30:00, #SéminaireLocalA303
The 3-state Potts model on planar maps
Hadrien Notarantonio
2025-09-23 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse