From: Julio Rubio <julio.rubio@dmc.unirioja.es>

líneas en que trabajamos (aunque ya lo envié
respondiendo al primer mensaje de Simó):
  desarrollo de sistemas de cálculo simbólico, lógica computacional,
  razonamiento mecanizado, algoritmos para el cálculo en Álgebra
  Homológica y Topología Algebraica.
  Además, nuestro proyecto cuenta con un Ente Promotor Observador
(EPO):
  la empresa riojana de Ingeniería del Software RIAM está interesada en
  nuestras herramientas de lógica computacional para aplicarlas a sus
  procesos de gestión del conocimiento.