Machine Learning in Interactive Theorem Provers: interfacing interfaces Ponente: Jónathan Heras (School of Computing, Dundee University, Escocia) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 18 de diciembre, 13:00
fKenzo: una interfaz de usuario para calcular en Topología Algebraica Ponente: Jónathan Heras (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: miércoles 13 de enero, 10:00
Una nueva arquitectura para reKenzo Ponente: Jónathan Heras (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: miércoles 29 de octubre, 09:00