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