Carlos Sáenz Adán, investigador de la Universidad de La Rioja, ofrece el jueves 16 de julio dos conferencias a las 12.00 horas, en el Seminario Chicho (D-314) del Edificio Vives.
En primer lugar, dictará ‘A tool for management of knowledge dispersed throughout multiple references’ y, en segundo, ‘Provenance and Formal Methods: the case of Digital Image Processing’.
En ambos casos son pruebas de tiempo de las comunicaciones que presentará en el ICSOFT-PT 2015. 10 International Conference on Software Paradigm Trends, que se celebrará en Colmar, Alsacia (Francia) del 20 al 22 de julio de 2015.
El Seminario de Informática ‘Mirian Andrés’ es una actividad del Departamento de Matemáticas y Computación de la Universidad de La Rioja.
