Conferences
- Publicity Chair for the ADG 2008 (Automated Deduction in Geometry) in Shanghai, China.
- Member of the Organising Committee of the WoLLIC 2008 (Workshop on Logic, Language, Information and Computation) in Edinburgh, Scotland.
Reviewing
- Journal of Symbolic Computation
- SAT 2011 (Theory and Applications of Satisfiability Testing) in Ann Arbor, USA
- ADG 2010 (Automated Deduction in Geometry) in Munich, Germany
- MICA 2008 (Milestones in Computer Algebra) in Stonehaven Bay, Trinidad and Tobago
- WoLLIC 2008 (Workshop on Logic, Language, Information and Computation) in Edinburgh, Scotland
- MKM 2008 (Mathematical Knowledge Management) in Birmingham, England
- LSFA 2008 (Third Workshop on Logical and Semantic Frameworks, with Applications) in Salvador, Brazil