Events Upcoming events

Summer School "Proof assistants and applications"

New registration deadline: July 17

31 August 4 September 2026

IRMA (Strasbourg)

Research

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

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

24 September 2026

15h30 17h30

IRMA (Strasbourg)

IRMIA++ Seminar

Dominique Aubert (ObAS) - TBA

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

15 October 2026

9h

IRMA (Strasbourg)

Journées nationales de l'APMEP

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

17 20 October 2026

Strasbourg

IRMIA++ Seminar

Pierre Kraemer (ICube) - TBA

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

19 November 2026

9h

IRMA (Strasbourg)