Principal Investigator of the British Engineering and Physical
Sciences Research Council (EPSRC) project "Formalising the
design of temporal databases using description logics",
2001-2004.
Member of the programme committee of the European Conference on
Logics in Artificial Intelligence
2008 (JELIA08), Dresden, Germany, 28-1 September-October
2008.
Member of the programme committee of the Conference on Advances in Modal Logic
2008 (AIML08), Nancy, France, 9-12 September, 2008.