Universitat de Girona > Directori > Pàgina personal

Anar al contingut (clic a Intro)

Tancar

Menú

Category: PROFESSOR CATEDRÀTIC
Department: INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Area of knowledge: LLENGUATGES I SISTEMES INFORMÀTICS
Research group: Grup de Recerca en Lògica i Intel·ligència Artificial (LAI)
ORCID PRC:: 0000-0002-8066-3458

Projecte

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:: 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 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:: 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

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Necessàries

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Preferències

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Analytics

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Marketing

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.