Introducción a Coq: Razonamiento mecanizado basado en tipos Ponente: César Domínguez (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 30 de marzo, 12:00
Un nuevo (¿viejo?) enfoque para el modelo relacional Ponente: Ángel Luis Rubio (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 16 de marzo, 12:00
Some algorithms computing the Bousfield-Kan spectral sequence Ponente: Ana Romero (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 9 de marzo, 12:00 Se trata de una prueba de tiempo de la charla invitada que Ana impartirá la semana próxima en la universidad de Kaiserslautern, Alemania.
Proyectos: conclusiones Ponente: Francisco José García Izquierdo (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 2 de marzo, 12:00