Ponente: Leire Muniozguren (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 1 de junio, 11:00
Implantación de los nuevos grados en Ingeniería Informática
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/.
Tendiendo puentes sobre aguas turbulentas: comunicando representaciones no ejecutables y representaciones ejecutables en Isabelle/HOL
ACL2 verification of Simplicial Complexes programs for the Kenzo system
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 20 de abril, 12:00
Se trata de una prueba de tiempo de la charla que impartirá esta semana en el congreso «Algebraic methods, soft computing and program verification», que se celebrará en el CIEM de Castro Urdiales.