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

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.

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 2 de marzo, 12:00

Ponente: Manuel Ojeda Aciego (Departamento de Matemática Aplicada, Universidad de Málaga)

Lugar: Aula 105, Edificio Vives

Hora: jueves 25 de febrero, 12:00

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 16 de febrero, 12:00

Ponente: Eduardo Sáenz de Cabezón (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: martes 9 de febrero, 12:00

Ponente: Eduado Sáenz de Cabezón (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 27 de enero, 10:00

Ponente: Leire Muniozguren (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 20 de enero, 10:00

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 13 de enero, 10:00