Participation on 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
• 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
• 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
• CHRBio - Constraint- and Hypothetical-based Reasoning for Bioinformatics
  Ongoing since April 1st 2009, concludes in March 1st 2011
  Pedro Barahona, Ludwig Kripphal
• CONTEMP - CONTraintes Exécutées en MultiProcesseurs
  Ongoing since January 2008, concludes in December 2010
  Salvador Abreu, Lígia Ferreia, Pedro Barahona, Ludwig Kripphal
• 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