en Charla

Formalizing an abstract algebra textbook in Isabelle/HOL

 

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

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 1 de junio, 10:00

Se trata de una prueba de tiempo para su participación en el congreso EACA 2012. Pese al título en inglés, la charla será impartida en riojano