UNAM
Sin actividades
Decidibilidad de Lenguajes y Verificación Dinámica de Algoritmos Distribuidos
Armando Castañeda (IM-UNAM).
2 de abril, 12:00 horas
Auditorio "Alfonso Nápoles Gándara"
Coloquio
TBA
Violeta Martinez Escamilla (CIMAT).
3 de abril, 16:00 horas
Salon 15, Segundo piso, Edificio nuevo
AGATA - Análisis, Geometría, Álgebra, Topología y Anexos
Un resultado cuantitativo de unicidad y uno más de convergencia-Gama para identificar minimizantes locales fuertes
Judith Campos Cordero (Facultad de Ciencias UNAM).
4 de abril, 12:00 horas
Salón de seminarios "Graciela Salicrup"
Seminario de Ecuaciones Diferenciales No Lineales