Proyectos vigentes

  1. LoRea (Logic and Reasoning)

    MONTSERRAT HERMO HUGUET

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

    MONTSERRAT HERMO HUGUET

Proyectos finalizados

2023

  1. Lenguajes y Sistemas Informáticos

    MONTSERRAT HERMO HUGUET

2021

  1. LoRea (Logic and Reasoning)

    FRANCISCA LUCIO CARRASCO, MONTSERRAT HERMO HUGUET

  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

2017

  1. Modelos y Métodos Computacionales para Datos Masivos Estructurados

    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

2011

  1. KYOTO - Knowledge yielding ontologies for Transition-based organisation

    GERMAN RIGAU CLARAMUNT

  2. KYOTO - Knowledge yielding ontologies for Transition-based organisation

    GERMAN RIGAU CLARAMUNT

2010

  1. IX JORNADAS DE PROGRAMACIÓN Y LENGUAJES (PROLE 2009)

    FRANCISCA LUCIO CARRASCO

  2. PROLE 2009- IX JORNADAS SOBRE PROGRAMACION Y LENGUAJES

    FRANCISCA LUCIO CARRASCO