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