-
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: 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 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
-
Clasificación de las métricas Einstein conformes en el grupo espacio-tiempo de Heisenberg
-
Ubicado en
Actividades
/
…
/
Seminario de Geometría Diferencial
/
Actividades
-
Claudio Meneses Torres es recibido en el IM
-
Proveniente del Centro de Investigación en Matemáticas, México. Su visita es del 19 al 21 de octubre de 2016.
Ubicado en
Acerca del IM
/
Noticias
-
Clip "Recordando a nuestros fundadores"
-
Ubicado en
75 años IM
-
Colaboración del Instituto de Matemáticas en el Festival de Matemáticas en Estambul
-
José Luis Cisneros Molina, investigador en la Unidad Cuernavaca del Instituto de Matemáticas de la UNAM, dió inicio al primer Festival de Matemáticas en Estambul Turquía con la plática inaugural: Número mágico del poliedro.
Ubicado en
Acerca del IM
/
Noticias
-
Colaboración entre artista francés y matemático de la UNAM
-
· La exposición de Jean Michel Othoniel se basa en un trabajo conjunto con Germán Aubin Arroyo, investigador del Instituto de Matemáticas
Ubicado en
Acerca del IM
/
Noticias
Correo interno