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: martes 20 de abril, 12:00

Se trata de una prueba de tiempo de la charla que impartirá esta semana en el congreso “Algebraic methods, soft computing and program verification”, que se celebrará en el CIEM de Castro Urdiales.