Formalising Linear Algebra Algorithms in Isabelle/HOL

 

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

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 13 de mayo, 13:00

Se trata de una prueba de tiempo de una charla invitada que impartirá durante su próxima estancia en el Institute of Computer Science, en la Universidad de Innsbruck, Austria