Jornada Inaugural del Seminario de Informática
"Mirian Andrés"

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.