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 Mahboubi&