In the spotlight

Tin tức

Agenda

Các sự kiện tổ chức tại LIP6

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