À la une

Actualités

Agenda

Évènements

10/02/2026
11 h : A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
Marco Campion (APR, LIP6, Sorbonne Université)
# Séminaire - APR
20/02/2026
14 h : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
# Séminaire - MoVe
Tout l’agenda… S’abonner