Universitat de Girona > Directori > Pàgina personal

Anar al contingut (clic a Intro)

Tancar

Menú

Categoria: PROFESSOR CATEDRÀTIC
Departament: INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Àrea de coneixement: LLENGUATGES I SISTEMES INFORMÀTICS
Grup de recerca: Grup de Recerca en Lògica i Intel·ligència Artificial (LAI)
ORCID PRC:: 0000-0002-8066-3458

Projecte

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 (2019/5938)
Entitat:: Diputació De Girona
Direcció:: Josep Antoni Ramon Guasch; Nadia Fava; Mateu Villaret Auselle
Investigadors:: 04
Import:: 132522 €
Durada:: 2020-2023

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:: 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:: InfCT-2017.59 (InfCT-2017.59)
Entitat:: Universitat de Girona (UdG)
Direcció:: Josep Soler Maso
Investigadors:: 51
Import:: 67244 €
Durada:: 2017

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

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.