In the spotlight

Tin tức

Agenda

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

02/20/2026
2:00 PM : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
# Seminar - MoVe
02/24/2026
11:00 AM : Memory Allocators: Formal Verification and Evaluation
Antonin Reitz (INRIA)
# Seminar - APR
02/24/2026
1:30 PM : Séminaire pour les Doctorants du LIP6 - CV académique
Fabrice KORDON
# Seminar - LIP6
Tin tức… Subscribe