Jornada Inaugural del Seminario de Informática
"Mirian Andrés"
En honor de la investigadora Mirian Andrés Gómez
(18/09/79 - 05/10/08)
Pulsa en los enlaces para ver los ficheros de cada charla.
Tomas Recio: Algo más que EACA
.
Fotos de su presentación.
Philippe Gimenez: Algunos aspectos computacionales en Geometría Algebraica.
José Luis Ruiz Reina: Homenaje a Mirian, Formalizando la topología Simplicial en ACL2.
Demo.
Programa de la Jornada.
Cartel de la Jornada.
Charlas de la Jornada.
Fotos de la comida.
Sobre este web
| © Universidad de La Rioja