Una propuesta ABP en DBD

Ponentes: César Domínguez (Universidad de La Rioja), Arturo Jaime (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 14 de octubre, 10:00

Modelling Differential Structures in Proof Assistants: the Graded Case

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 11 de febrero, 10:00

Se trata de una prueba de tiempo de la charla que impartirá en el workshop «Intelligent Information Processing» del Congreso Eurocast 2009, esta misma semana.

Normalizando la normalización

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 3 de diciembre, 09:00