CENTRIA's ongoing projects

• AgroCAL - Escalonamento de visitas de campo
  Ongoing since December 16 2013, concludes in October 15 2014
  Pedro Barahona, Marco Correia, Carlos Damásio
• NotionProof - The Notion of Mathematical Proof
  Ongoing since June 1st 2013, concludes in November 30 2015
  , Reinhard KahleGregory Wheeler, Jesse Alama
• PROCURE - Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications
  Ongoing since May 1st 2013, concludes in October 31 2015
  Jorge Cruz, Pedro Barahona, Davide D'Alimonte, Marco Correia, Elsa Carvalho
• 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, Martin Slota
• 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

This year's information may not be complete.