Co-Organiser, WoMO 2010

Lecturer, ESSLLI 2010

PC member, AAAI 2010

PC member, NLPCS 2010

Lecturer, ESSLLI 2009

PC member, OWLED 2009

PC member, IICAI 2009

PC member, DL 2009

PC member, IJCAI 2009

PC member, NLPCS 2009

PC member, AIMSA 2008

PC member, WORM 2008

PC member, WoMO 2007

PC member, OnE 2007

Co-Organiser, WoMO 2006

Reviewing

4st International Workshop on Modular Ontologies, held in Toronto, Canada, May 11, 2010.
The workshop website can be found here.
The preliminary program of ESSLLI 2010 (Copenhagen, Denmark) can be found here.
Twenty-Fourth AAAI Conference on Artificial Intelligence, held at the Westin Peachtree Plaza in Atlanta, Georgia, USA, July 11–15, 2010.
21st European Summer School in Logic, Language and Information, Bordeaux, July 20-31, 2009. The course website is here.
6th OWL: Experiences and Directions, co-located with ISWC 2009 and held at Washington DC, October 2009.

4th Indian International Conference on Artificial Intelligence, Tumkur (near Bangalore), India, December 16-18 2009.

22nd International Workshop on Description Logics, Oxford, United Kingdom, July 27-30, 2009.
13th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Varna, Bulgaria, September 4-6, 2008. Proceedings can be found here.
International Workshop on Ontologies: Reasoning and Modularity, June 1, 2008, Tenerife, Spain (co-located with ESWC-08). The proceedings can be found here.
2nd International Workshop on Modular Ontologies, Whistler, British Columbia, Canada, October 28, 2007. The proceedings can be found here.
Workshop on Ontology Evolution, held at Poznan, Poland, April 25, 2007.
The proccedings can be found here.
1st International Workshop on Modular Ontologies, held in Athens, Georgia, USA, November 5, 2006.
The proceedings can be found here.

Journal of Symbolic Logic (JSL),
Journal of Artificial Intelligence Research (JAIR),
Journal of Automated Reasoning (JAR),
Studia Logica,
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL),
Journal of Applied Non-Classical Logics (JANCL),
Bulletin of The Section of Logic (BSL),
Conference on Computer Science Logic (CSL),
IEEE Symposium on Logic in Computer Science (LICS),
Int. Joint Conference on Artificial Intelligence (IJCAI),
Conference on Algebra and Coalgebra in Computer Science (CALCO),
Conf. on Principles of Knowledge Representation and Reasoning (KR),
European Conference on Artificial Intelligence (ECAI),
Conf. on Logic for Programming Art. Intelligence and Reasoning (LPAR),
Conf. on Analytic Tableaux and Related Methods (TABLEAUX),
Conf. on Automated Deduction (CADE),
Conf. on Algebraic Methodology and Software Technology (AMAST),
Conf. on Ontologies, DataBases, and Appl. of Semantics (ODBASE)
Int. Symposium on Frontiers of Combining Systems (FROCOS),
Conf. on Art. Intelligence: Methodology, Systems, Applications (AIMSA)
Advances in Modal Logic (AiML),
Methods for Modalities (M4M),
Int. Workshop on Description Logics (DL),
Int. Workshop on Modular Ontologies (WoMO),
Workshop on Ontology Evolution (OnE).