Matemáticas Visibles.

31 de mayo 

Conferencista: Aubin Arroyo 

Leer más: Matemáticas Visibles.

José Antonio de la Peña, investigador emérito

Asistentes de prueba y verificación formal

26 de mayo

Conferencista: Lourdes del Carmen González Huesca

Leer más: Asistentes de prueba y verificación formal

Modelos biológicos de individuos en el espacio

19 de mayo

Conferencista: Josué Manik Nava Sedeño

Leer más: Modelos biológicos de individuos en el espacio