UNAM
Usted está aquí: Inicio

Resultados de búsqueda

2 elementos que coinciden con sus términos de búsqueda
Filtrar los resultados.
Tipo de elemento







































































































Nuevos elementos desde



Ordenar por relevancia · fecha (primero los más nuevos) · alfabéticamente
Congreso VCS/ICS calendar 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
Congreso VCS/ICS calendar 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 / Congresos, conferencias, seminarios y encuentros / 2026