Moderador: José Miguel Blanco, Vicedecano de Estudios de la Facultad de Informática de la Universidad del País Vasco
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 25 de mayo, 12:00
mayo 2010
Mechanising mathematics: the case of Algebraic Topology
Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 18 de mayo, 12:00
Se trata de una prueba de tiempo de la charla invitada que impartiré este jueves en el congreso en honor de Tomás Recio que se celebrará en el CIEM, Castro Urdiales http://www.trecio60th.unican.es/.
Herramientas de cálculo simbólico para la Topología Algebraica: homología efectiva
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 11 de mayo, 12:00
Se trata de una prueba de tiempo de la charla invitada que Jónathan impartirá la próxima semana en el congreso «Topología de Datos» que se celebrará en Santiago de Compostela http://www.usc.es/congresos/datatop/.