Actualités - Page 6 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

RJMI - Rencontres des Jeunes Mathématiciennes et Informaticiennes 2023

Organisé par des membres de l’IRMA, Animath et femmes et mathématiques, cet évènement est destiné aux jeunes filles scolarisées en classe de Seconde, Première et Terminale motivées et intéressées par les mathématiques et/ou l’informatique.