CENTRIA's completed projects (ongoing in 2005)

• FLUX - Flexible Logic Updates
  Started in 2002 and was concluded in September 2005
  João Leite
• DIRPI - Desenvolvimento e Integração de Recursos para a Pesquisa de Informação
  Started in 2002 and was concluded in 2006
  Paulo Miguel Quaresma
• CoLogNet - European Network of Excellence in Computational Logic
  Started in January 2001 and was concluded in June 2005
  Luís Moniz Pereira, José Alferes, João Leite, Carlos Damásio