Fomentar la cooperación entre los distintos grupos de investigación
del departamento y, en general, entre grupos de la comunidad universitaria.
Presentar los resultados que dichos grupos obtienen, así como algunas
pinceladas históricas, de forma expositiva y accesible tanto para
el profesorado como para estudiantes de segundo ciclo.
Albergar las conferencias impartidas por profesores invitados por el grupo.
TIC2003-08687-C02-01: Las dependencias como eje transversal del tratamiento de los datos: fundamentos algebraicos, sistemas de deducción y herramientas eficientes.
Acción COST-274: Teoría y Aplicaciones de Estructuras Relacionales como Instrumentos de Conocimiento.
TIC2000-1109: Sistema de información para la gestión inteligente de archivos y documentos. Optimización de la manipulación de la información con software deductivo.
TIC94-0847-C02-02: Descripción Incremental de Sistemas basada en el Cálculo de Refinamientos y Lógicas Modales Ejecutables. Aplicaciones a los Sistemas de Seguridad Crítica.
TIC97-0579-C02-02: Modelización
y Síntesis en Diseños Lógicos de Sistemas Informáticos:
de la Formalización a las Aplicaciones.
Acción COST-15:
Lógicas multivaluadas para aplicaciones informáticas.