Project: Mobilitat investigadors Proex Senior(S. Madariaga) 2019 (PRX19/00555) Entity: Ministerio de Educación y Formación Profesional Directed by: Mateu Villaret Auselle Researchers: 1 Amount: 11205 € Duration: 2021 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: 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: 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: Mobilitat investigadors seniors (S. Madariaga) 2017 (PRX17/00389) Entity: Ministerio de Educación, Cultura y Deporte (MECD) Directed by: Mateu Villaret Auselle Researchers: 1 Amount: 11205 € Duration: 2018 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: 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 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 (JC2015-00187) Entity: Ministerio de Educación, Cultura y Deporte (MECD) Directed by: Mateu Villaret Auselle Researchers: 1 Amount: 11205 € 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: Organización del octavo congreso internacional MDAI (Modelling Decisions for Artificial Intelligence) (TIN2011-15580-E) Entity: Ministerio de Ciencia e Innovación (MICINN) Directed by: Mateu Villaret Auselle Researchers: 3 Amount: 6000 € Duration: 2012-2013 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: Fundamentos de la demostración automática y la satisfactibilidad (TIN2004-04343) Entity: Ministerio de Ciencia y Tecnología Directed by: Maria Lluïsa Bonet i Carbonell Researchers: Amount: 54280 € Duration: 2004-2007 Project: Interfaces gráficas y algoritmos para aplicaciones basadas en la simulación de luz artificial y natural (TIN2004-07672-C03-01) Entity: Ministerio de Ciencia y Tecnología Directed by: Ignacio Clemente Martin Campos Researchers: 13 Amount: 159160 € Duration: 2004-2007 Project: Convocatòria 2001 d'ajuts per a estades fora de Catalunya i a l'estranger () Entity: Universitat de Girona (UdG) Directed by: Mateu Villaret Auselle Researchers: 1 Amount: 1383 € Duration: 2002- 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: Deducción Automática no Canónica- DENOC (BFM2000-1054-C02-01) Entity: Ministerio de Ciencia y Tecnología Directed by: Gonzalo Escalada Imaz Researchers: 10 Amount: 18500 € Duration: 2000-2003