Projecte: Development agreement () Entitat: Instrumentation Laboratory Company Direcció: Mateu Villaret Auselle Investigadors: 5 Import: 35000 € Durada: 2018-2019
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: 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: 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