Current projects

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

    MONTSERRAT HERMO HUGUET, FRANCISCA LUCIO CARRASCO

Completed projects

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. DEMOSTRADORES DE TEOREMAS PARA PLTL

    FRANCISCA LUCIO CARRASCO

  2. LOGIC AND REASONING

    FRANCISCA LUCIO CARRASCO