In the spotlight

News

Agenda

Eventi del LIP6

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
Vedere tutte le notizie… Subscribe