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