Sistemas software fiables: una aproximación con razonadores mecanizados

Ponente: Julio Rubio García (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 4 de junio, 09:00

Se trata de una prueba de tiempo de la charla que impartiré la semana próxima en la Universidad de Málaga.

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.