Ponente: Eloy Mata (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 5 de marzo, 09:00
Se trata de una prueba de tiempo de la defensa de su tesis doctoral, que acontecerá el viernes 13 de marzo.
2008/2009
Hay 23 posts etiquetados con 2008/2009.
Más sobre seguridad en aplicaciones web
Seguridad en aplicaciones web
Modelling Differential Structures in Proof Assistants: the Graded Case
Métodos Formales y Cálculo Simbólico
Introducción general a SAP
Normalizando la normalización
De como un ejercicio sencillo puede llevar a conceptos complejos: el caso de los genéricos
Coq in action
Lógica Computacional y Cálculo Simbólico
Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 12 de noviembre, 09:00
Se trata de una prueba de tiempo de la charla
que daré esta semana en la Universidad deSevilla, en las Jornadas de Lógica, Computación e Inteligencia Artificial. http://doctorado.cs.us.es/web/mod/resource/view.php?id=91