In the spotlight

Novidades

Agenda

Eventos do LIP6

10/02/2026
11:00 : A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
Marco Campion (APR, LIP6, Sorbonne Université)
# Seminar - APR
20/02/2026
14:00 : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
# Seminar - MoVe
Veja as atualidades… Subscribe