In the spotlight

Aktuelles

Agenda

Das LIP6 organisiert

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
Alle Neuigkeiten… Subscribe