CENTRIA's ongoing projects

• 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
• 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

This year's information may not be complete.