| Data d'inici | Projecte de recerca | Universitats o Centres recerca | Investigadors/es principals | | 28-12-2001 | CAD para seguridad vial basado en sistemas de simulación de la iluminación | UdG | |
| 01-01-2013 | Herramientas lógicas para problemas combinatorios | UdG | Villaret Auselle, Mateu |
| 13-12-2004 | Interfaces avanzadas para la interacción transparente con modelos altamente complejos en entornos de realidad virtual - UdG | UdG | |
| 01-01-2016 | Lógica para problemas combinatorios (LoCos) | UdG | Bofill Arasa, Miquel |
| 01-01-2016 | Lògica per Combinatòria (LoXCom) | UdG | Bofill Arasa, Miquel; Villaret Auselle, Mateu |
| 01-01-2020 | Mercats, distribució i traçabilitat MeDiTra | UdG | Ramon Guasch, Josep Antoni; Villaret Auselle, Mateu; Fava, Nadia |
| 01-01-2020 | Mercats, distribució i traçabilitat MeDiTra. (FEDER) | UdG | Ramon Guasch, Josep Antoni; Villaret Auselle, Mateu; Fava, Nadia |
| 01-01-2022 | Razonamiento y aprendizaje (Rap) | UdG, UVic-UCC | Bofill Arasa, Miquel |
| 01-01-2019 | Satisfactibilidad para Programación de Tareas, Planificación y Optimización | UdG | Villaret Auselle, Mateu |
| 01-01-2009 | Subastas robustas mediante la incorporación de técnicas de satisfactibilidad módulo teorías. | UdG | Bofill Arasa, Miquel |