In the spotlight

Новости

Agenda

События LIP6

19.05.2026
11:00 : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
# Seminar - APR
21.05.2026
18:00 : 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:00 : [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6)
Fanuel Mehari (MoVe, LIP6)
# Seminar - MoVe
26.05.2026
Все новости… Subscribe