Asistentes de prueba y verificación formal
Título: Asistentes de prueba y verificación formal
26 de mayo
Conferencista: Lourdes del Carmen González Huesca
Título: Asistentes de prueba y verificación formal
26 de mayo
Conferencista: Lourdes del Carmen González Huesca
Título: Modelos biológicos de individuos en el espacio
19 de mayo
Conferencista: Josué Manik Nava Sedeño
Título: Gromov conoce a Hausdorff: distancia GH
12 de mayo
Conferencista: Raquel Perales Aguilar / IMUNAM Oaxaca
Título: Acortando y cortando
5 de mayo, 16:00 horas
Conferencista: Alberto Márquez
Geometría computacional, Teoría de gráficas, grafos o gráficas
Título: Algunos problemas matemáticos inspirados por un famoso experimento
28 de abril 2022, 16:00 horas
Conferencista: Adrián González Casanova / IMUNAM Cuernavaca
Biología y biomatemáticas, Probabilidad y procesos estocásticos
Leer más: Algunos problemas matemáticos inspirados por un famoso experimento
Página 1 de 2