jmaransay en Charla | febrero 4, 2009 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. Relacionado