-
CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics
-
Del 20 a 31 julio 2026 <br>
Instituto de Matemáticas, Unidad Oaxaca <br>
Fecha límite de registro: 18 de marzo de 2026 <br>
<br/> <a href="https://fresco.gitlabpages.inria.fr/frescocimpa26.html"> https://fresco.gitlabpages.inria.fr/frescocimpa26.html </a>
Ubicado en
Actividades académicas
/
Carrusel actividades académicas
-
CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics
-
Del 20 a 31 julio 2026 <br>
Instituto de Matemáticas, Unidad Oaxaca <br>
Fecha límite de registro: 18 de marzo de 2026 <br>
<br/> <a href="https://fresco.gitlabpages.inria.fr/frescocimpa26.html"> https://fresco.gitlabpages.inria.fr/frescocimpa26.html </a>
Ubicado en
Actividades académicas
/
Escuelas
/
2026
-
Círculos Matemáticos / Amanda Serenevy
-
#Matemáticasparatodos. CÍRCULOS MATEMÁTICOS - Actividades de divulgación del 50º Congreso Nacional de la SMM - <br/> <a href="http://www.matem.unam.mx/divulgacion/50-smm/circulos-matematicos-amanda-serenevy"> http://www.matem.unam.mx/divulgacion/50-smm/circulos-matematicos-amanda-serenevy </a>
Ubicado en
Divulgación
/
Divulgación en el 50 Congreso de la SMM
-
Círculos Matemáticos del instituto de Matemáticas - Por el derecho a desarrollar un pensamiento propio
-
Ubicado en
Acerca del IM
/
Noticias
-
Círculos Matemáticos: el placer de aprender a razonar
-
- Un proyecto de la UNAM que fomenta el razonamiento lógico para la vida -
Ubicado en
Acerca del IM
/
Noticias
-
Ciudad Universitaria recibe a Maite Wilke Berenguer
-
Proveniente de la Universidad de Bochum, Alemania. Su visita es del 10 al 26 de marzo de 2019.
Ubicado en
Acerca del IM
/
Ingresos y visitantes
-
Ciudad Universitaria recibe a Pablo Román
-
Proveniente de la Universidad Nacional de Córdoba, Argentina. Su visita es del 09 al 13 de agosto de 2017.
Ubicado en
Acerca del IM
/
Ingresos y visitantes
-
Ciudad Universitaria recibe a Enrique Fernández-Cara
-
Proveniente de la Universidad de Sevilla, España. Visita Ciudad Universitaria de 14 al 23 de mayo de 2019.
Ubicado en
Acerca del IM
/
Ingresos y visitantes
-
Ciudad Universitaria recibe a Michel Boileau
-
Proveniente de la Universidad de Aix-Marsella, Francia. Su visita es del 07 al 11 de agosto de 2017.
Ubicado en
Acerca del IM
/
Ingresos y visitantes
-
Ciudad Universitaria recibe a Pierre Fraigniaud
-
Proveniente de la Universidad de París VII Denis Diderot y del CNRS, Francia. Su visita es del 01 al 09 de febrero de 2018 en Ciudad Universitaria
Ubicado en
Acerca del IM
/
Ingresos y visitantes
Correo interno