À la une

Actualités

Agenda

Évènements

17/03/2026
11 h : Compiling Higher-Order Bayesian Networks
Gabriele Vanoni (IRIF, Université Paris Cité)
# Séminaire - APR
19/03/2026
24/03/2026
11 h : Towards Reliable and Efficient Numerical Code through Sound Optimizations
Anastasia Isychev (TU Wien)
# Séminaire - APR
03/04/2026
14 h : [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
Emmanuel Zarpas (MoVe, LIP6)
# Séminaire - MoVe
Tout l’agenda… S’abonner