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)
Past event
IRMIA++ Seminar
Katarina Kraljic (ObAS) - Complete characterisation of the (large-scale) structure of the Universe - Minkowski functionals
25
May 2023
9h
IRMA (Strasbourg)
