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