CENTRIA's ongoing projects

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