Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 4 de noviembre, 13:00
Se trata de una prueba de tiempo de la charla que impartirá la semana próxima en el congreso MAP 2010.
Homología efectiva de grupos y teoría discreta de Morse
Estilos de dirección de Proyectos Fin de Carrera
Ponente: Juan José Olarte (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 21 de octubre, 13:00
Se trata de una investigación conjunta de Francisco García, Arturo Jaime, César Domínguez y el ponente, que pretende indagar en las causas que provocan incumplimientos, retrasos e incluso abandonos en los PFCs que dirigimos. Se ruega por ello la asistencia de todos aquellos que hemos dirigido proyectos.
Complejidad computacional de la característica de Euler y algoritmos para calcularla
Matrices de incidencia de complejos simpliciales en SSreflect: “after” Niza
Ponentes: María Poza (Universidad de La Rioja), Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 7 de octubre, 13:00
En la charla nos informarán sobre los avances realizados en su exitosa estancia en el centro del INRIA de Sophia-Antipolis (Niza, Francia).
Modeling issues: a survival guide for a non-expert modeler
Ponente: Emilio Rodríguez Priego (investigador de la Agencia del Conocimiento y la Tecnología)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 30 de septiembre, 09:15
Se trata de una prueba de tiempo de la ponencia que próximamente presentará Emilio en el congreso Models 2010, en Oslo.
Matrices de incidencia de complejos simpliciales en SSreflect
Rediseñando asignaturas de bases de datos
Computing in Coq with Infinite Algebraic Data Structures
Integrating multiple sources to answer questions in Algebraic Topology
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 29 de junio, 10:00
Se trata de una prueba de tiempo para la charla que impartirá la semana
próxima en el congreso Mathematical Knowledge Management (MKM 2010).
En esta sesión se escucharán también sus propuestas para el Doctoral Programme y el OpenMath Training Camp, que se celebrarán, como MKM, en el marco del congreso Conferences on Intelligent Computer Mathematics (CICM 2010).