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