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
• PNL - Pedro Nunes Lectures
  Ongoing since July 1st 2009, concludes in July 31 2010
  Reinhard Kahle
• CHRBio - Constraint- and Hypothetical-based Reasoning for Bioinformatics
  Ongoing since April 1st 2009, concludes in March 1st 2011
  Pedro Barahona, Ludwig Kripphal
• DiFoS - Dialogical Foundations of Semantics
  Ongoing since March 1st 2009, concludes in February 28 2013
  Reinhard Kahle, Francisco Azevedo, Gregory Wheeler, João Leite, Luís Moniz Pereira, Jesse Alama

This year's information may not be complete.