The activity of this group is centered around the logic and mathematic modelization of reasoning, and the design of algorithms for solving constraint-based problems and satisfiability.

Current news

A very competitive grant from "La Marató de TV3" granted to the IIIA

The project is entitled "Playing and Singing for the Recovering Brain: Efficacy of Enriched Social-Motivational...

Read more
RecerCaixa programme distinguishes two IIIA researchers

IIIA researchers Pilar Dellunde and Nardine Osman have got a RecerCaixa 2017 grant for their project “AppPhil:...

Read more