Demostración de propiedades de espacios vectoriales finito-dimensionales en Isabelle/HOL Ponente: José Divasón (Universidad de La Rioja) Lugar: Aula 104, Edificio Vives Hora: martes 25 de octubre, 12:30
El uso del ordenador para detectar errores en cálculos algebraicos complejos. Un ejemplo de cálculo de grupos de homotopía Ponente: Ana Romero (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: viernes 21 de octubre, 12:30
Procesamiento de imágenes digitales Ponente: Gadea Mata (Universidad de La Rioja) Lugar: CIBIR (Centro de Investigaciones Biomédicas de La Rioja) Hora: martes 11 de octubre, 10:00 Se trata de que una sesión conjunta con el grupo de Neurofisiología del CIBIR que dirige el investigador Miguel Morales.
BST – Sistemas de plantillas en navegador Ponente: Francisco José Garcia Izquierdo (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 4 de octubre, 13:00
