Meike Neuwohner
2026-04-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Séminaires LABO
Low discrepancy sequences in combinatorics
François Clément
2026-03-31 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Bismulations dans les calculs linéaires
Sergueï Lenglet
2026-03-26 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Réalisations polyédrales de tores plats
Florent Tallerie
2026-03-24 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Parallel and Domain-Aware SAT Solving: Application to Blockchain Analysis
Souheib Baarir
2026-03-25 13:00:00, #SéminaireSaferSalle B107, bâtiment B, Université de Villetaneuse
Warm-Starting QAOA for Combinatorial Optimization via Difference-of-Convex Optimization – A Case Study on Max-Cut
Viet Hung Nguyen
2026-03-20 14:00:00, #SéminaireAOCSalle G202, Université de Villetaneuse
Positive spanning sets and their connections to polyhedra
Clément Royer
2026-03-19 10:30:00, #SéminaireAOCSalle G205, Université de Villetaneuse
Approches formelles pour la modélisation, le contrôle, lanalyse de performances, la reconfiguration et la cybersécurité des systèmes à événements discrets
Saïd Amari
2026-03-25 14:30:00, #SéminaireSaferSalle B107, bâtiment B, Université de Villetaneuse
Security Analysis and Resilient Supervisory Control of Cyber-Physical Systems
Gaiyun Liu
2026-03-23 13:00:00, #SéminaireSaferSalle A303, bâtiment A, Université de Villetaneuse
Fiabilité et QoS dans le continuum : vers une ingénierie formelle bout-en-bout des services IoT-Fog-Cloud
Mohamed Graiet
2026-03-24 15:30:00, #SéminaireSaferSalle A303, bâtiment B, Université de Villetaneuse