Proyectos vigentes

  1. Modelos y Técnicas para el Procesamiento de Información a Gran Escala

    MONTSERRAT HERMO HUGUET, FRANCISCA LUCIO CARRASCO

Proyectos finalizados

2022

  1. Lenguajes y Sistemas Informáticos

    MONTSERRAT HERMO HUGUET

2021

  1. LoRea (Logic and Reasoning)

    MONTSERRAT HERMO HUGUET, FRANCISCA LUCIO CARRASCO

  2. Modelos y métodos basados en grafos para la computación en gran escala

    FRANCISCA LUCIO CARRASCO

2018

  1. Logic and Reasoning

    FRANCISCA LUCIO CARRASCO

  2. Automated Reasoning Tools and Systems

    FRANCISCA LUCIO CARRASCO

2016

  1. BASQUE ADVANCED INFORMATICS LABORATORY

    AGUSTIN ARRUABARRENA FRUTOS

2015

  1. LoRea (Logic and Reasoning)

    FRANCISCA LUCIO CARRASCO

2014

  1. LOGIC, REASONING AND COMPLEXITY

    FRANCISCA LUCIO CARRASCO

2012

  1. LOGIC AND REASONING

    FRANCISCA LUCIO CARRASCO