» AI Genealogy Project

» The Tropos project (not working on it anymore)
» The NuSmv Opensource project (not working on it anymore)
» The GETFOL system project (finished in 1996)
» The Top Artificial Intelligence conference

» Everything you want to know about multicontext logics

» Our ICT graduate studies