Projecte: Development agreement () Entitat: Instrumentation Laboratory Company Direcció: Mateu Villaret Auselle Investigadors: 5 Import: 35000 € Durada: 2018-2019
Projecte: Lògica i Intel·ligència Artificial (2021 SGR 00028) Entitat: Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR). Generalitat de Catalunya. Direcció: Miquel Bofill Arasa Investigadors: 04 Import: 0 € Durada: 2022-2024 Projecte: Razonamiento y aprendizaje (PID2021-122274OB-I00) Entitat: Agencia Estatal de Investigación (Ministerio de Ciencia e Innovación) Direcció: Miquel Bofill Arasa Investigadors: 5 Import: 61202 € Durada: 2022-2025 Projecte: Mercats, distribució i traçabilitat MeDiTra (2019/5938) Entitat: Diputació De Girona Direcció: Josep Antoni Ramon Guasch; Nadia Fava; Mateu Villaret Auselle Investigadors: 04 Import: 132522 € Durada: 2020-2023 Projecte: Mercats, distribució i traçabilitat MeDiTra. (FEDER) (PR15-019289) Entitat: Departament de la Presidència de la Generalitat de Catalunya Direcció: Josep Antoni Ramon Guasch; Nadia Fava; Mateu Villaret Auselle Investigadors: 06 Import: 265045 € Durada: 2020-2023 Projecte: Estades Breus FPI (dotació addicional 2016) (BES-2016-076867) Entitat: Ministerio de Economía y Competitividad Direcció: Jordi Coll Caballero; Miquel Bofill Arasa Investigadors: 2 Import: 6250 € Durada: 2019 Projecte: Satisfactibilidad para Programación de Tareas, Planificación y Optimización (RTI2018-095609-B-I00) Entitat: Ministeri de Ciència, Innovació i Universitats - MCIU Direcció: Mateu Villaret Auselle Investigadors: 10 Import: 21780 € Durada: 2019-2022 Projecte: Lògica i Programació (2017SGR0107) Entitat: Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR). Generalitat de Catalunya. Direcció: Miquel Bofill Arasa Investigadors: 04 Import: 0 € Durada: 2017-2021 Projecte: InfCT-2017.59 (InfCT-2017.59) Entitat: Universitat de Girona (UdG) Direcció: Josep Soler Maso Investigadors: 51 Import: 67244 € Durada: 2017 Projecte: Lógica para problemas combinatorios (LoCos) (TIN2015-66293-R) Entitat: Ministerio de Economía y Competitividad Direcció: Miquel Bofill Arasa Investigadors: 03 Import: 67397 € Durada: 2016-2019 Projecte: Lògica per Combinatòria (LoXCom) (MPCUdG2016/055) Entitat: Universitat de Girona (UdG) Direcció: Miquel Bofill Arasa; Mateu Villaret Auselle Investigadors: 04 Import: 30000 € Durada: 2016-2018 Projecte: José Castillejo 2015 (JC201515-00275) Entitat: Ministerio de Educación, Cultura y Deporte (MECD) Direcció: Miquel Bofill Arasa Investigadors: 1 Import: 13957 € Durada: 2016 Projecte: Lògica i Programació (2014SGR0305) Entitat: Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR). Generalitat de Catalunya. Direcció: Miquel Bofill Arasa Investigadors: 05 Import: 0 € Durada: 2014-2017 Projecte: Creació d'un clúster per a càlcul massiu (TEQUIP20) Entitat: Universitat de Girona (UdG) Direcció: Miquel Bofill Arasa Investigadors: 6 Import: 3076 € Durada: 2014 Projecte: Herramientas lógicas para problemas combinatorios (TIN2012-33042) Entitat: Ministerio de Economía y Competitividad Direcció: Mateu Villaret Auselle Investigadors: 05 Import: 23891 € Durada: 2013-2015 Projecte: Desenvolupament d’un SMT solver per a CSPs (SING11/6) Entitat: Universitat de Girona (UdG) Direcció: Mateu Villaret Auselle Investigadors: 7 Import: 3897 € Durada: 2012 Projecte: Subastas robustas mediante la incorporación de técnicas de satisfactibilidad módulo teorías. (TIN2008-04547) Entitat: Ministerio de Educación y Ciencia (MEC) Direcció: Miquel Bofill Arasa Investigadors: 07 Import: 93170 € Durada: 2009-2012 Projecte: LogicTools (TIN2004-03382) Entitat: Ministerio de Ciencia y Tecnología Direcció: Alberto Rubio Gimeno Investigadors: 15 Import: 187450 € Durada: 2004-2007 Projecte: Interfaces avanzadas para la interacción transparente con modelos altamente complejos en entornos de realidad virtual - UdG (TIN2004-08065-C02-02) Entitat: Ministerio de Ciencia y Tecnología Direcció: Joan Antoni Sellarès Chiva Investigadors: 17 Import: 167900 € Durada: 2004-2007 Projecte: CAD para seguridad vial basado en sistemas de simulación de la iluminación (TIC2001-2392-C03-01) Entitat: Ministerio de Ciencia y Tecnología Direcció: Joan Antoni Sellarès Chiva Investigadors: 11 Import: 57643 € Durada: 2001-2004 Projecte: MAVERISH: Modelización, análisis y verificación de sistemas heterogéneos (TIC2001-2476-C03-01) Entitat: Comisión Interministerial de Ciencia y Tecnología (CICYT) Direcció: Fernando Orejas Valdés Investigadors: Import: 190160 € Durada: 2001-2004 Projecte: HEMOSS: Heterogeneidad y modularidad en la especificación de sistemas (TIC98-0949-C02-01) Entitat: Comisión Interministerial de Ciencia y Tecnología (CICYT) Direcció: Fernando Orejas Valdés Investigadors: 16 Import: 80860 € Durada: 1998-2001 Projecte: CCL-2: Construction of Computational Logics (WG # 22457) Entitat: Unió Europea Direcció: ROBERT NIEUWENHUIS (UPC) Investigadors: Import: 352000 € Durada: 1996-1999