Métodos Formales y Cálculo Simbólico

 

Ponente: Julio Rubio (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 4 de febrero, 10:00

Se trata de una prueba de tiempo de la charla que impartirá en el congreso de la RSME de Oviedo, esta misma semana.