CENTRIA's ongoing projects

• ERRO - Efficient Reasoning with Rules and Ontologies
  Ongoing since March 2012, concludes in February 2015
  João Leite, Carlos Damásio, José Alferes, Matthias Knorr
• CREMA - 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
• ASPEN - Answer Set Programming with BoolEaN Satisfiability
  Ongoing since March 2011, concludes in February 2014
  João Leite, José Alferes
• PlatoMundi1 - PlatoMundi - a voyage with Er
  Ongoing since 2011, concludes in 2014
  
• PTDCFIS1012482008 - PTDC-FIS-101248-2008
  Ongoing since January 1st 2010, concludes in December 31 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 29 2012
  Reinhard Kahle, Francisco Azevedo, Gregory Wheeler, João Leite, Luís Moniz Pereira, Jesse Alama

This year's information may not be complete.