Formalisation and Execution of Numerical Linear Algebra using Isabelle/HOL Ponente: Jose Divasón (Universidad de La Rioja) Lugar: Aula 312, Edificio Vives Hora: miércoles 29 de enero, 12:00
Topología computacional en física estadística Ponente: Sergio Ardanza-Trevijano (Universidad de Navarra) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: viernes 24 de enero, 12:00
Diferentes puntos de vista de actores de los PFC en ITIG Ponente: César Domínguez (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 14 de enero, 13:00
