Proyectos vigentes

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

    MONTSERRAT HERMO HUGUET

Proyectos finalizados

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

    FRANCISCA LUCIO CARRASCO

  2. 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