Agenda Prochainement

Summer School "Proof assistants and applications"

New registration deadline: July 17

31 août 4 septembre 2026

IRMA (Strasbourg)

Recherche

L'intelligence artificielle comme instrument scientifique pour les mathématiques

Conférence par M. Abouzaïd (Uni. Stanford) et table ronde

24 septembre 2026

15h30 17h30

IRMA (Strasbourg)

Séminaire IRMIA++

Dominique Aubert (ObAS) - TBA

IRMIA++ Seminar October 15, 2026 - 9:00

15 octobre 2026

9h

IRMA (Strasbourg)

Journées nationales de l'APMEP

Maths in Stras’ - Faire rayonner les mathématiques !

17 20 octobre 2026

Strasbourg

Séminaire IRMIA++

Pierre Kraemer (ICube) - TBA

IRMIA++ Seminar Nov. 19, 2026 - 9:00

19 novembre 2026

9h

IRMA (Strasbourg)