Ponente: Carlos Sáenz (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 1 de abril, 13:00
Control de versiones: una introducción a Git
GelJDB: una aplicación para el análisis de huellas genéticas
Processing neuronal images
Ponente: Gadea Mata (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 27 de enero, 12:00
Se trata de una prueba de tiempo de la conferencia que impartirá en el laboratorio Biomedical Imaging de Erasmus University Medical Center en Rotterdam, en el que va a realizar una estancia de investigación de tres meses
OAuth 2.0 como protocolo de autentificación a terceros
Habilidades en el currículum de Informática
Computing the homology of structures structures
Obtaining an ACL2 specification from an Isabelle/HOL theory
Basic Perturbation Lemma and Effective Homology: applications to the computation of homology of 2-types
Ponente: Ana Romero (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 25 de noviembre, 12:00
Se trata de una prueba de tiempo de la conferencia plenaria que impartirá próximamente en Galway, Irlanda, en el marco del congreso «Seventh de Brún Workshop on Homological Perturbation Theory»
A Formal Proof of the Basic Perturbation Theorem
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 18 de noviembre, 12:00
Se trata de una prueba de tiempo de la conferencia plenaria que impartirá próximamente en Galway, Irlanda, en el marco del congreso «Seventh de Brún Workshop on Homological Perturbation Theory»