É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

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

Journées Chocola

Antoine Allioux (IRIF), Higher Structures in Antoine Allioux, Lison Blondeau-Patissier, William Simmons

2023-09-28 10:00:00, #SéminaireLoVe
ENS LYON, Site Monod

Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty

Dylan Marinho

2023-09-22 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse [BBB: https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u]

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

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

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