Activities

Some scientific activities I am or was involved in:

Organisation

Programme Committees

Others

Refereeing

  • 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