en Charla

ACL2 verification of Simplicial Complexes programs for the Kenzo system

 

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 20 de enero, 11:00

Se trata de una prueba de tiempo de la charla que impartirá próximamente en el congreso Eurocast, dentro del Workshop “Intelligent Information Processing”