21
mars 2024
9h
IRMA (Strasbourg)
15
mars 2024
Strasbourg
15
février 2024
9h
IRMA (Strasbourg)
22
janvier 2024
17h
19h
Collège Doctoral Européen (Strasbourg)
18
janvier 2024
9h
IRMA (Strasbourg)
21
décembre 2023
9h
IRMA (Strasbourg)
18
décembre 2023
14h
UFR Math-Info (Strasbourg)
14
décembre 2023
16h45
19h
UFR Math-Info (Strasbourg)
23
novembre 2023
9h
IRMA (Strasbourg)
15
novembre 2023
16h
17h
IRMA (Strasbourg)
FVCA 10
Conference - Finite Volume for Complex Applications
30
octobre
3 novembre 2023
Strasbourg
Imogen Morris (Uni. Edimburgh) - The mystery of Euler's disappearing numbers and how Isabelle helped me solve it
The mystery of Euler's disappearing numbers and how Isabelle helped me solve it Abstract: In 1736 Euler published a proof of an astounding relation between π and the reciprocals of the squares. π²/6 = 1+ 1/4+ 1/9 + 1/16 … Until this point, π had not been part of any mathematical relation outside…
26
octobre 2023
9h
IRMA (Strasbourg)
19
octobre 2023
9h
IRMA (Strasbourg)
21
septembre 2023
9h
IRMA (Strasbourg)
Summer school "Geometry and data" 2023
Registration by June, 26 2023
28
août
1 septembre 2023
IRMA (Strasbourg)
Summer School "Proof Assistants for Teaching proof and proving" 2023
Registration by April 17, 2023.
19
23 juin 2023
Le Val d'Ajol
15
juin 2023
9h
IRMA (Strasbourg)
Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs
Conférence organisée par les jeunes chercheurs de l'ITI IRMIA++
8
juin 2023
17h
19h
Collège Doctoral Européen (Strasbourg)
25
mai 2023
9h
IRMA (Strasbourg)