Rendering useful formalized mathematics, with an application to image processing

 

Ponente: Jesús Aransay (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 9 de diciembre, 12:00

La charla está dentro de la “Bioimaging week” dedicada a distintos aspectos de la investigación en el procesamiento de imágenes biomédicas

Se trata de una prueba de tiempo para el Thematic Program in Computer Algebra que se celebra en Toronto entre Junio y Diciembre

Processing neuronal images

 

Ponente: Gadea Mata (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 27 de enero, 12:00

Se trata de una prueba de tiempo de la conferencia que impartirá en el laboratorio Biomedical Imaging de Erasmus University Medical Center en Rotterdam, en el que va a realizar una estancia de investigación de tres meses