
Lógicas de orden superior y verificación formal
Ponente: Lourdes del Carmen González Huesca
Institución: FC-UNAM
06/05/2025 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Ponente: Lourdes del Carmen González Huesca
Institución: FC-UNAM
06/05/2025 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Ponente: Víctor Hernández
Institución: IM-UNAM
29/04/2025 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Ecuaciones diferenciales, Teoría de operadores, Análisis funcional, Coloquio en Ciudad Universitaria CDMX
Leer más: Entre fracciones y logaritmos: un vistazo al problema de Poisson no local
Ponente: Mindy Yaneli Huerta Perez
Institución: FC-UNAM
22/04/2025
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Álgebra, Teoría de Categrorías
Leer más: Un camino entre distintos contextos: desde abelianas hasta extriangulada
Ponente: Octavio Baltasar Zapata
Institución: IM-UNAM
08/04/2025 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Combinatoria, Teoría de gráficas, Grafos o Gráficas, Coloquio con video, Coloquio en Ciudad Universitaria CDMX
Página 1 de 2