In the spotlight

News

Agenda

Eventi del LIP6

05/19/2026
11:00 : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
# Seminar - APR
05/21/2026
18:00 : Colloquium - Towards a new era for Software Science with Software Heritage
Roberto Di Cosmo (Inria et Université Paris Cité)
# Colloquium - LIP6
Vedere tutte le notizie… Subscribe