Obtaining an ACL2 specification from an Isabelle/HOL theory

Ponente: Jose Divasón (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 2 de diciembre, 12:00

Se trata de una prueba de tiempo de la comunicación que presentará próximamente en el congreso «Artificial Intelligence and Symbolic Computation»

Proof-Pattern Recognition and Lemma Discovery in ACL2

Ponente: Jónathan Heras (Computing School de la Dundee University, Escocia)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 19 de diciembre, 10:00

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»

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.