Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 4 de febrero, 10:00
Se trata de una prueba de tiempo de la charla que impartirá en el congreso de la RSME de Oviedo, esta misma semana.
Introducción general a SAP
Normalizando la normalización
De como un ejercicio sencillo puede llevar a conceptos complejos: el caso de los genéricos
Coq in action
Lógica Computacional y Cálculo Simbólico
Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 12 de noviembre, 09:00
Se trata de una prueba de tiempo de la charla
que daré esta semana en la Universidad deSevilla, en las Jornadas de Lógica, Computación e Inteligencia Artificial. http://doctorado.cs.us.es/web/mod/resource/view.php?id=91
Los contenidos informáticos en el nuevo Grado en Ingeniería Informática
Una nueva arquitectura para reKenzo
Restricciones de integridad complejas en Bases de Datos
Ponente: Francisco José García Izquierdo (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: viernes 24 de octubre, 13:00
Sesión inaugural, curso 2008/2009.
A partir de este curso (y de esta sesión), el Seminario de Informática pasa a llamarse Seminario Mirian Andrés, en homenaje a nuestra compañera Mirian (acerca de).