Declarative Methods in Computer Science

1 January, 2006 to 31 December, 2010


  • Hendrik Blockeel
  • Maurice Bruynooghe
  • Luc De Raedt
  • Marc Denecker
  • Gerda Janssens
  • Danny De Schreye
  • Bart Demoen

This network, supported by FWO-Vlaanderen, also involves the research groups ADReM of UA and 'Theoretische Informatica' of UH. The purpose of the network is to foster the cooperation between the different groups with an interest in the use of declarative methods and to maintain the high quality of their research. The network has also partners outside Flanders: TU Eindhoven, Université de Mons-Hainaut, University of Oxford, Indiana University, Universität Dortmund, Helsinki University of Technology, Jozef Stefan Institute Lubljana, University of Wisconsin, University of Kentucky, Simon Frase University in Vancouver, University of Melbourne, and Ben Gurion University in Beer-Sheva.