I am or was involved in the following scientific activities:

• CICM 2012 - Systems and Projects
  Programme Chair. Bremen Germany, 2012.
  
• CICM 2010 - Doctoral Programme
  Organiser. Paris, France, 2010.
  
• ACA 2010 - Special session on Computer Algebra in Knowledge Based Applications
  Co-organiser with Jacques Calmet. Vlore, Albania, 2010.
  
• ASCM2009 - Special session on Digitizing Mathematics: From Pen and Paper to Digital Content
  Co-organiser with Alan Sexton. Fukuoka, Japan, 2009.
  
• IJCAR 2008 Workshop on Combining Systems for Efficient and Scalable Reasoning
  Co-organiser with Simon Colton, Dieter Hutter, Christoph Lüth, Alison Pease. Sydney, Australia, 2008.
  
• Conferences on Intelligent Computer Mathematics 2008
  General Chair. Birmingham, UK, 2008.
  
• AISC 2008 - 9th International Conference on Artificial Intelligence and Symbolic Computation
  Programme Chair. Birmingham, UK, 2008.
  
• 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
  Co-organiser with Louise Dennis. Birmingham, UK, 2008.
  
• 14th CIAO (CLAM/INKA/OMRS) Workshop
  Co-organiser with Louise Dennis and Manfred Kerber. Nottingham, UK, 2005.
  
• IJCAI-03 Workshop, Agents and Automated Reasoning
  Co-organiser with Simon Colton, Michael Fisher, and Jeremy Gow. Acapulco, Mexico, 2003.
  
• CADE-19 Workshop Novel Applications of Deduction Systems
  Co-organiser with Simon Colton and Jeremy Gow. Miami, USA, 2003.
  
• FLOC-02 Workshop, The Role of Automated Deduction in the Context of Mathematics
  Co-organiser with Simon Colton. Copenhagen, Denmark, 2002.
  
• Calculemus-2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Program-co-chair with Olga Caprotti. Marseille, France, 2002.
  
• CADE-16 Workshop, The Role of Automated Deduction in the Context of Mathematics
  Co-organiser with Simon Colton and Ursula Martin. Pittsburgh, USA, 2000.
  
• SAGWAS-99, Seminar of the AG Siekmann: Philosphische Grundlagen der KI
  Co-organiser with Karsten Konrad. Schloß Dagstuhl, 1999.
  

• Fundamenta Informaticae, 2010
  
• Automated Reasoning for Security, Software Integration and Reliability
  Member of the Program Committee. Jeju Island, Korea, 2011.
  
• FroCoS 2011: 8th International Symposium Frontiers of Combining Systems
  Member of the Program Committee. Saarbrücken, Germany, 2011.
  
• DML 2011 - Towards Digital Mathematics Library
  Member of the Program Committee. Bertinoro, Italy, 2011.
  
• MKM 2011 - 9th International Conference on Mathematical Knowledge Management
  Member of the Program Committee. Bertinoro, Italy, 2011.
  
• DML 2010 - Towards Digital Mathematics Library
  Member of the Program Committee. Paris, France, 2010.
  
• Calculemus 2010 - 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. Paris, France, 2010.
  
• AISC10 - Conference on AI and Symbolic Mathematical Computation
  Member of the Program Committee. Paris, France, 2010.
  
• ASCM2009 - 9th Asian Symposium on Computer Mathematics
  Member of the Program Committee. Fukuoka, Japan, 2009.
  
• ISSAC-2008 - 34th International Symposium on Symbolic and Algebraic Computation
  Member of the Program Committee. Seoul, South Korea, 2009.
  
• Calculemus 2009 - 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. Ontario, Canada, 2009.
  
• MKM 2009 - 7th International Conference on Mathematical Knowledge Management
  Member of the Program Committee. Ontario, Canada, 2009.
  
• DML 2009 - Towards Digital Mathematics Library
  Member of the Program Committee. Ontario, Canada, 2009.
  
• IWIL-2008 - 7th International Workshop on the Implementation of Logics
  Member of the Program Committee. Dohar, Qatar, 2008.
  
• DML 2008 - Towards Digital Mathematics Library
  Member of the Program Committee. Birmingham, UK, 2008.
  
• CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics
  Member of the Program Committee. Birmingham, UK, 2008.
  
• MKM 2008 - 6th International Conference on Mathematical Knowledge Management
  Member of the Program Committee. Birmingham, UK, 2008.
  
• Calculemus 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. Birmingham, UK, 2008.
  
• CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics
  Member of the Program Committee. Birmingham, UK, 2008.
  
• Calculemus 2007 - 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. RISC, Hagenberg, Austria, 2007.
  
• IWIL-2006 - 6th International Workshop on the Implementation of Logics
  Member of the Program Committee. Phnom Penh, Cambodia, 2006.
  
• Calculemus 2006 - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. Genova, Italy, 2006.
  
• LPAR Workshop on Empirical Successful Theorem Proving in Higher Order Logic
  Member of the Program Committee. Montego Bay, Jamaica, 2005.
  
• Calculemus 2005 - 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee and local coordinator. Newcastle upon Tyne, UK, 2005.
  
• AISC04 - Conference on AI and Symbolic Mathematical Computation
  Member of the Program Committee. Hagenberg, Austria, 2004.
  
• IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development
  Member of the Program Committee. Cork, Ireland, July 05, 2004.
  
• Calculemus-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Member of the Program Committee. Rome, Italy, 2003.
  

• Member of the Advisory Board of the The International Federation for Computational Logic (IFCoLog)
  
• Guest Editor for the Annals of Mathematics and Artificial Intelligence
  Special Issue on Artificial Intelligence and Symbolic Computation
  with Jacques Calmet.
  
• Member of the Editorial Board of the Journal of Applied Logic
  since 2006.
  
• Member of the Editorial Board of the Journal of Algorithms in Cognition, Informatics and Logic
  since 2007.
  
• Trustee for Conference on Mathematical Knowledge Management
  2006-2009.
  
• Trustee for Calculemus
  2002-2007.
  
• Member of the Organising Committee Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
  since 2006.
  
• Panel member, panel on Bridging the Gap Between Automated Reasoning and the Sciences, Bristol, 2006
  
• External Examiner, PhD Jia Meng, Cambridge, July 2005
  
• Editor of the book Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems
  Frontiers in AI and Application, IOS Press, 2004
  with Weixiong Zhang. Available at Amazon.
  
• Panel member, Grand challenges and Novel applications for Automated Reasoning, CADE workshop, 2003
  
• Panel Chair, Colognet-sponsored panel on grand challenges for automated reasoning at Automated Reasoning Workshop, Liverpool, 2003
  
• Guest Editor for the Journal of Symbolic Computation
  Special Issue on Integration of Symbolic Computation and Mechanized Reasoning
  with Olga Caprotti.
  
• Editor of the book Artificial Intelligence, Automated Reasoning, and Symbolic Computation --- Joint International Conference, AISC 2002 and Calculemus 2002
  LNCS, Springer Verlag, 2002
  with Jacques Calmet, Belaid Benhamou, Olga Caprotti, and Laurent Henocque.
  

• Fundamenta Informaticae, 2010
  
• Journal of Mathematics in Computer Science, 2008
  
• Logic Journal of the IGPL, 2008
  
• British National Conference in Databases, BNCoD 2008
  
• Milestones in Computer Algebra, MICA 2008
  
• Conference on Automated Deduction, CADE-21, 2007
  
• Journal of Applied Logic, 2004, 2005, 2006, 2007
  
• Mexican International Conference on Artificial Intelligence, MICAI-06, 2006
  
• International Joint Conference on Artificial Intelligence, IJCAI-05, 2005
  
• International Colloquium on Theoretical Aspects of Computing, 2005
  
• Conference on Automated Deduction, CADE-20, 2005
  
• IEEE Symposium on Logic in Computer Science, 2005
  
• Journal of Computable Mathematics/London Mathematical Society, 2004
  
• International Colloquium on Graph Theory, ICGT '04, 2004
  
• Calculemus Symposium, 2001
  
• Journal of Symbolic Computation, 2001
  
• European Conference on Artificial Intelligence, ECAI-2000, 2000
  
• Conference on Automated Deduction, CADE-16, 1999