Actualités - Page 5 sur 10 Toutes les actualités

Arthur Charguéraud (ICube) - Interactive Program Verification

Graduate program students welcome event

Summer school "Geometry and data" 2023

Registration by June, 26 2023

Summer School "Proof Assistants for Teaching proof and proving" 2023

Registration by April 17, 2023.

Laure Marêché (IRMA) - Kinetically Constrained Models: Universality Results

Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs

Conférence organisée par les jeunes chercheurs de l'ITI IRMIA++

Katarina Kraljic (ObAS) - Complete characterisation of the (large-scale) structure of the Universe - Minkowski functionals