CENTRIA's ongoing projects

• CREMA - Constrained Refining of Multiple Alignments to identify correlations between mutations
  Ongoing since April 1st 2011, concludes in April 1st 2013
  Ludwig Krippahl
• ReDIK - Reasoning with Dynamic Inconsistent Knowledge
  Ongoing since April 2011, concludes in March 2013
  João Leite, Alfredo Gabaldon, Martin Slota, Matthias Knorr
• ASPEN - Answer Set Programming with BoolEaN Satisfiability
  Ongoing since March 2011, concludes in February 2014
  João Leite, José Alferes, Martin Slota
• SINTELNET - European Network for Social Intelligence
  Ongoing since 2011, concludes in 2014
  João Leite
• ATTEST - AlgoriThms and Tools for reasoning about dEpendable SysTems
  Ongoing since October 1st 2010, concludes in September 1st 2012
  Pedro Barahona, Marco Correia, Francisco Azevedo
• CESOC - Co-evolution and self-organization of cooperation
  Ongoing since January 1st 2010, concludes in December 1st 2013
  Francisco C. Santos
• 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

This year's information may not be complete.