Top NewsPast event
Peter Albers (Uni. Heidelberg) - This Strange Endeavour Called Research
15
November 2023
16h
17h
IRMA (Strasbourg)
Top NewsPast event
FVCA 10
30
October
3 November 2023
Strasbourg
Top NewsPast 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)
Top NewsPast event
IRMIA++ Seminar
Xiaolin Zeng (IRMA) - The harmonic oscillator and the free field
19
October 2023
9h
IRMA (Strasbourg)
Top NewsPast event
IRMIA++ Seminar
Arthur Charguéraud (ICube) - Interactive Program Verification
21
September 2023
9h
IRMA (Strasbourg)
Top NewsPast event
Graduate program
Graduate program students welcome event
18
September 2023
18h
TBA
Top NewsPast event
Summer school "Geometry and data" 2023
28
August
1 September 2023
IRMA (Strasbourg)
Top NewsPast event
Summer School "Proof Assistants for Teaching proof and proving" 2023
19
23 June 2023
Le Val d'Ajol
Top NewsPast event
IRMIA++ Seminar
Laure Marêché (IRMA) - Kinetically Constrained Models: Universality Results
15
June 2023
9h
IRMA (Strasbourg)
Top NewsPast 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)