en Charla

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