Current projects

  1. LoRea (Logic and Reasoning)

    MONTSERRAT HERMO HUGUET

Completed projects

2018

  1. Logic and reasoning

    FRANCISCA LUCIO CARRASCO

2016

  1. Basque advanced informatics laboratory

    AGUSTIN ARRUABARRENA FRUTOS

2015

  1. Logic and reasoning

    FRANCISCA LUCIO CARRASCO

2014

  1. Logic, reasoning and complexity

    FRANCISCA LUCIO CARRASCO

2010

  1. IX Jornadas de programación y lenguajes

    FRANCISCA LUCIO CARRASCO