In the spotlight

News

Agenda

Events

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
05/22/2026
14:00 : [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6)
Fanuel Mehari (MoVe, LIP6)
# Seminar - MoVe
05/26/2026
See all events ... Subscribe