Estructuras canónicas en Coq Ponente: Jónathan Heras (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 30 de septiembre, 12:00
A certified reduction strategy for homological image processing Ponente: Jónathan Heras (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 9 de septiembre, 12:00 Se trata de una prueba de tiempo de la comunicación que presentará próximamente en el congreso PROLE 2014
Herramienta para el desarrollo de References-enriched Concept Maps Ponente: Carlos Saénz Adán (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: jueves 4 de septiembre, 12:00 Sesión inaugural curso 2014/2015