Recherche
Call for projects - Post-Doctoral positions
Événement passé
Séminaire IRMIA++
Arthur Charguéraud (ICube) - Interactive Program Verification
21
septembre 2023
9h
IRMA (Strasbourg)
Événement passé
Formation
Graduate program students welcome event
18
septembre 2023
18h
TBA
Recherche
New job offer
Événement passé
Summer school "Geometry and data" 2023
28
août
1 septembre 2023
IRMA (Strasbourg)
Événement passé
Summer School "Proof Assistants for Teaching proof and proving" 2023
19
23 juin 2023
Le Val d'Ajol
Événement passé
Séminaire IRMIA++
Laure Marêché (IRMA) - Kinetically Constrained Models: Universality Results
15
juin 2023
9h
IRMA (Strasbourg)
Événement passé
Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs
8
juin 2023
17h
19h
Collège Doctoral Européen (Strasbourg)
Événement passé
Séminaire IRMIA++
Katarina Kraljic (ObAS) - Complete characterisation of the (large-scale) structure of the Universe - Minkowski functionals
25
mai 2023
9h
IRMA (Strasbourg)