UNAM
Usted está aquí: Inicio / Actividades académicas / Alta de actividades especiales / Oaxaca / Actividades / CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics

CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics

Ponente: Varias y varios ponentes
Institución: varias instituciones
Cuándo 20/07/2026 a 09:00 a
31/07/2026 a 17:00
Dónde IMUNAM,Oaxaca
Agregar evento al calendario vCal
iCal