Formalization of Mathematics: Why Algebraic Topology?

 

Ponente: Julio Rubio García (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 28 de febrero, 13:00

Se trata de una prueba de tiempo (en castellano) de una charla que el conferenciante impartirá en Niza dentro de unas semanas, en el marco de la “MAP International Spring School on Formalization of Mathematics”, http://www-sop.inria.fr/manifestations/MapSpringSchool/