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
• 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
• JEDI - A Joint Environment for Deduction and Induction
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu
• STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu
• PSE - The Philosophy of Science in a European perspective - ESF networking Programme
  Ongoing since 2008, concludes in 2013
  Gregory Wheeler
• TOURSPLAN - TOURS PLANning Support system
  Ongoing since December 1st 2007, concludes in November 30 2010
  Nuno C. Marques
• AutoDynAgents - Autonomic Agents with Self-Managing Capabilities for Dynamic Scheduling Support in a Cooperative Manufacturing System
  Ongoing since February 16 2007
  Luís Moniz Pereira
• IBM-SUR - Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters
  Ongoing since 2007
  Salvador Abreu, Luís Moniz Pereira, Armando Fernandes, Carlos Damásio, Francisco Azevedo, Irene Rodrigues, Lígia Ferreia, Pedro Barahona, Susana Nascimento
• International M.Sc. Program in Computational Logic
  Ongoing since September 2004, concludes in September 2009
  Luís Moniz Pereira, José Alferes, João Leite

This year's information may not be complete.