You are here

Home » Actividades » SEMINARIO RUBIO DE FRANCIA


SEMINARIO RUBIO DE FRANCIA


Conferenciante:  José Divasón (Universidad de La Rioja)

Título: Formalización de matemáticas en demostradores interactivos de teoremas

Fecha:Jueves, 30 de marzo de 2023

Hora: 12:00 horas.

Lugar: Aula 7 (frente al Seminario Rubio de Francia). Primera planta, Edificio B, Facultad de Ciencias

Web: http://anamat.unizar.es/seminario.html


PDF icon Cartel conferencia