Applying Generative Communication to Symbolic Computation in Common Lisp

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 14 de mayo, 09:00

Se trata de una prueba de tiempo de la charla que impartirá en Génova, en el European Lisp Symposium.

Introducción al Diseño de Bases de Datos

Ponente: Arturo Jaime Elizondo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 30 de abril, 09:00

Introducción a OpenMath

Ponente: Jónathan Heras Vicente (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 23 de abril, 09:00

Introducción a las Bases de Datos Temporales

Ponente: Ángel Luis Rubio García (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 2 de abril, 09:00

El proyecto Sistemas de Cálculo Simbólico y Fiabilidad

Ponente: Julio Rubio (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 26 de marzo, 09:00

Se trata de una prueba de tiempo de la exposición en las Jornadas de Seguimiento MTM2006, que tendrán lugar en Zaragoza la semana próxima.

Integral security model for the exchange of objects in Service Oriented Architecture

Ponente: Emilio Rodríguez Priego (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 18 de marzo, 13:00

Se trata de una prueba de tiempo de la comunicación que Emilio presentará en el congreso WebIST’09 (Web Information Systems Technologies), en Lisboa del 23 al 26 de marzo de 2009.

Coordinación de servicios Web: de las aplicaciones a los modelos formales

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.

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.