Machine Learning in Interactive Theorem Provers: interfacing interfaces Ponente: Jónathan Heras (School of Computing, Dundee University, Escocia) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 18 de diciembre, 13:00
Programación sobre tarjetas gráficas con CUDA Ponente: Félix Lanas (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 11 de diciembre, 13:00
Problemas abiertos en el procesamiento de imágenes biomédicas Ponente: Gadea Mata (Universidad de La Rioja), Miguel Morales (Centro de Investigación Biomédica de La Rioja, CIBIR) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 4 de diciembre, 13:00