CENTRIA's ongoing projects

• HORUS - Horn Representations of Uncertain Systems
  Ongoing since January 2010, concludes in December 2012
  Salvador Abreu
• GIO - Grid Intelligence and Optimsation
  Ongoing since June 2009, concludes in 2016
  Francisco Azevedo
• CHRBio - Constraint- and Hypothetical-based Reasoning for Bioinformatics
  Ongoing since April 1st 2009, concludes in March 1st 2011
  Pedro Barahona, Ludwig Kripphal
• LSTOP - Learning Spatio-Temporal Oceanographic Patterns
  Ongoing since February 2008, concludes in January 2011
  Susana Nascimento, Armando Fernandes (2008-2009), Nuno C. Marques, Davide D'Alimonte
• COPSRO - Computational Approach to Ontology Profiling of Scientific Research Organisations
  Ongoing since January 2008, concludes in June 2011
  Susana Nascimento, Luís Moniz Pereira
• CONTEMP - CONTraintes Exécutées en MultiProcesseurs
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu, Lígia Ferreia, Pedro Barahona, Ludwig Kripphal
• Design and implementation of an architecture for interactive, cognitive virtual characters
  Ongoing since January 2008, concludes in December 2009
  Pierangelo Dell’Acqua
• JEDI - A Joint Environment for Deduction and Induction
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu
• STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu
• PSE - The Philosophy of Science in a European perspective - ESF networking Programme
  Ongoing since 2008, concludes in 2013
  Gregory Wheeler

This year's information may not be complete.