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/

 

 

Towards a certified computation of homology groups for digital images

 

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.

 

Talleres para Divulgaciencia

 

Ponente: Félix Lanas (Universidad de La Rioja) y Rubén Sáenz (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 13 de diciembre, 13:00

Se trata de una prueba de tiempo de los talleres que los oradores han preparado, junto a Carlos Tirado, para presentar en las sesiones de Divulgaciencia, que tendrán lugar el sábado 17, de 18:30 a 20 horas, en el Edificio de la Merced.

Este seminario será retransmitido, de modo experimental, por el sistema de video-streaming de la FUR. La sesión del Seminario podrá ser seguida en: http://www.cebicur.es/live

 

Topología Algebraica Computacional en el procesamiento de imágenes biomédicas

 

Ponentes: Jónathan Heras (Universidad de La Rioja), Gadea Mata (Universidad de La Rioja), María Poza (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 15 de noviembre, 13:00

Se trata de una prueba de tiempo de la charla que impartirán en el acto en el que recibirán el premio AICA (Aplicaciones Industriales del Álgebra Computacional),
que se otorgará en Granada, el viernes 18, en las Jornadas del mismo nombre, AICA.