Presentación de la Comunidad .NET de La Rioja

Ponente: Asier Tarancón (Logical Rioja)

Lugar: Aula 104, Edificio Vives

Hora: martes 19 de julio, 12:00

Telecolaboración interuniversitaria en prácticas de bases de datos y una aplicación para realización de ejercicios

Ponente: Arturo Jaime (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 1 de julio, 12:30

Se trata de una prueba de tiempo para la comunicación que presentará en las Jornadas de Enseñanza Universitaria de la Informática (Jenui 2011) que se celebrarán en Sevilla del 5 al 8 de julio.

Análisis e implantación de una red de cálculo distribuido para la simulación de dinámica molecular utilizando GPUs

Ponente: José Manuel Sota (Universidad de La Rioja)

Lugar: Aula 102, Edificio Vives

Hora: lunes 27 de junio, 12:00

Se trata de la presentación del trabajo de investigación del ponente en el programa de doctorado.

Incidence simplicial matrices formalized in Coq/SSReflect

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

Lugar: Aula 105, Edificio Vives

Hora: viernes 24 de junio, 12:30

Se trata de una prueba de tiempo de las comunicación que realizará próximamente en el congreso Conference on Intelligent Computer Mathematics, que se celebrará en Bertinoro (Italia).

A system for computing and reasoning in Algebraic Topology

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

Lugar: Aula 105, Edificio Vives

Hora: viernes 24 de junio, 12:00

Se trata de una prueba de tiempo de las comunicación que realizará próximamente en el congreso Conference on Intelligent Computer Mathematics, que se celebrará en Bertinoro (Italia).

FIABRAICO, a Computer Algebra based software for System Reliability computations

Ponente: María Poza (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: miércoles 22 de junio, 12:00

Se trata de una prueba de tiempo de la comunicación que realizará próximamente en el congreso Applications of Computer Algebra, que se celebrará en Houston, Texas (EEUU).

Homological processing of biomedical digital images: automation and certification

Ponente: María Poza (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: viernes 17 de junio, 12:00

Se trata de una prueba de tiempo de la comunicación que realizará próximamente en el congreso Applications of Computer Algebra, que se celebrará en Houston, Texas (EEUU).