
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

Past event
IRMIA++ Seminar
Laure Marêché (IRMA) - Kinetically Constrained Models: Universality Results
15
June 2023
9h
IRMA (Strasbourg)

Past event
Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs
8
June 2023
17h
19h
Collège Doctoral Européen (Strasbourg)