Razonamiento Mecanizado y Análisis Matemático Ponente: Julio Rubio García (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: miércoles 7 de octubre, 10:00 Sesión inaugural, curso 2009/2010