In the spotlight

News

Agenda

Events

02/17/2026
11:00 : Static Typing of Dynamic Languages: A set-theoretic type algebra for the R language
Mickael Laurent (Université Charles, Prague)
# Seminar - APR
02/20/2026
14:00 : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
# Seminar - MoVe
02/24/2026
13:30 : Séminaire pour les Doctorants du LIP6 - CV académique
Fabrice KORDON
# Seminar - LIP6
See all events ... Subscribe