en Charla

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.