À la une

Actualités

Agenda

Évènements

07/05/2026
19/05/2026
11 h : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
# Séminaire - APR
21/05/2026
18 h : Colloquium - Towards a new era for Software Science with Software Heritage
Roberto Di Cosmo (Inria et Université Paris Cité)
# Colloquium - LIP6
22/05/2026
14 h : [Séminaire MoVe]
# Séminaire - MoVe
Tout l’agenda… S’abonner