Ponente: Julio Rubio García (Universidad de La Rioja)
Lugar: Salón de Actos (Edificio CCT)
Hora: martes 28 de septiembre, 11:00
Aquí tienes algunas imágenes de la sesión.
Julio Rubio
Hay 15 posts etiquetados con Julio Rubio.
Presentación de la Agenda Digital
En el acto de presentación de la charla participarán el Rector Magnífico de la Universidad de La Rioja, Julio Rubio García, y el Excelentísimo Consejero de Administración Pública y Hacienda del Gobierno de La Rioja, Alfonso Domínguez Simón.
Ponentes: Óscar Alonso (Coordinador del grupo de trabajo de la Agenda Digital – Dirección General de Tecnologías de la Información y la Comunicación), Ignacio Lasheras (Presidente del Colegio Profesional de Ingenieros en Informática de La Rioja – Universidad de La Rioja), Juan Carlos Gil Varela (Director de la Unidad de Administración Electrónica y Simplificación Administrativa de la Universidad de La Rioja)
Lugar: Salón de Actos (Edificio CCT)
Hora: miércoles 23 de noviembre, 12:00
Al final de la presentación habrá un coloquio sobre las propuestas expuestas.
Puedes encontrar más información sobre la Agenda Digital de la Comunidad Autónoma de La Rioja en el siguiente enlace.
Open Research Lines in Computational Topology
Lenguajes de programación: ejes
Teoría homotópica de tipos: promesas y perplejidades
Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 21 de octubre, 12:00
Se trata de una prueba de tiempo de una charla que impartirá el ponente próximamente en el Seminario de Ciencias de la Computación e Inteligencia Artificial en la Universidad de Sevilla
Reunión sobre convocatoria de proyectos nacionales
Informaciones sobre los estudios de Informática
Formalization of Mathematics: Why Algebraic Topology?
Ponente: Julio Rubio García (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 28 de febrero, 13:00
Se trata de una prueba de tiempo (en castellano) de una charla que el conferenciante impartirá en Niza dentro de unas semanas, en el marco de la “MAP International Spring School on Formalization of Mathematics”, http://www-sop.inria.fr/manifestations/MapSpringSchool/
Contribuciones científicas en honor de Mirian Andrés Gómez
Mechanising mathematics: the case of Algebraic Topology
Ponente: Julio Rubio (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 18 de mayo, 12:00
Se trata de una prueba de tiempo de la charla invitada que impartiré este jueves en el congreso en honor de Tomás Recio que se celebrará en el CIEM, Castro Urdiales http://www.trecio60th.unican.es/.