
Past event
FVCA 10
30
October
3 November 2023
Strasbourg

Past event
Research
Imogen Morris (Uni. Edimburgh) - The mystery of Euler's disappearing numbers and how Isabelle helped me solve it
26
October 2023
9h
IRMA (Strasbourg)

Past event
IRMIA++ Seminar
Xiaolin Zeng (IRMA) - The harmonic oscillator and the free field
19
October 2023
9h
IRMA (Strasbourg)

Research
Call for projects - Research

Research
Call for projects - Post-Doctoral positions

Past event
IRMIA++ Seminar
Arthur Charguéraud (ICube) - Interactive Program Verification
21
September 2023
9h
IRMA (Strasbourg)

Past event
Graduate program
Graduate program students welcome event
18
September 2023
18h
TBA

Research
New job offer

Past event
Summer school "Geometry and data" 2023
28
August
1 September 2023
IRMA (Strasbourg)

Past event
Summer School "Proof Assistants for Teaching proof and proving" 2023
19
23 June 2023
Le Val d'Ajol