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