Hay 22 posts etiquetados con Formalisation of mathematics.
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/
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 31 de enero, 13:00
Se trata de una prueba de tiempo de la charla que Jónathan impartirá en el congreso: “4th International Workshop on Computational Topology in Image Context” que se celebrará la semana próxima en Bertinoro (Italia).
Los autores del trabajo son: Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza y Vincent Siles.
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/.
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.