Aller au contenu principal

Actualités

2023-12-19
M meets the P
M meets the P "New ways of doing research" se tiendra le jeudi 11 janvier à partir de 14h au CYCL01. Programme :  14:00 → 15:00 Rigorous machine-checked mathematics - Assia Mahbo
2023-07-03
Colloque international CT2023
    Le colloque international CT2023 en théorie des catégories a lieu du 2 au 8 juillet 2023. Il s’agit du colloque le plus important de l’année dans ce domaine, qui couvre en particul
2023-06-27
Lancement du satellite Euclid 
Euclid est un télescope de l’agence spatiale européenne (ESA) qui a pour but de révéler les propriétés et la nature de la matière noire et de l’énergie sombre, soit 95% du conten