Événements

Écoles Caleidoscope

Bismulations dans les calculs linéaires

Sergueï Lenglet

2026-03-26 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Réalisations polyédrales de tores plats

Florent Tallerie

2026-03-24 14:00:00, #SéminaireCALIN
Salle 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éminaireSafer
Salle B107, bâtiment B, Université de Villetaneuse

Approches formelles pour la modélisation, le contrôle, l’analyse de performances, la reconfiguration et la cybersécurité des systèmes à événements discrets

Saïd Amari

2026-03-25 14:30:00, #SéminaireSafer
Salle B107, bâtiment B, 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éminaireSafer
Salle A303, 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éminaireAOC
Salle G202, Université de Villetaneuse

Positive spanning sets and their connections to polyhedra

Clément Royer

2026-03-19 10:30:00, #SéminaireAOC
Salle G205, Université de Villetaneuse

Security Analysis and Resilient Supervisory Control of Cyber-Physical Systems

Gaiyun Liu

2026-03-23 13:00:00, #SéminaireSafer
Salle A303, bâtiment A, Université de Villetaneuse

Trier des tableaux partiellement pré-triés

Vincent Jugé

2026-02-17 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse

Lambda-calculus and space complexity

Thibaut Balabonski

2026-02-17 12:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse