Más sobre seguridad en aplicaciones web

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 26 de febrero, 09:00

Seguridad en aplicaciones web

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 19 de febrero, 09:00

Modelling Differential Structures in Proof Assistants: the Graded Case

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

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

Se trata de una prueba de tiempo de la charla que impartirá en el workshop «Intelligent Information Processing» del Congreso Eurocast 2009, esta misma semana.

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.