Current Activities

Chairing

Program Committee Member (since 2006)

Reviewing (since 2005)

  • Annals of Mathematics and Artificial Intelligence
  • Journal of Computational Complexity
  • Journal of Automated Reasoning
  • Journal on Satisfiability, Boolean Modeling and Computation
  • International Journal of Mass Customization
  • Acta Informatica
  • IEE Computers & Digital Techniques
  • SAT 2006, 2008, 2009
  • TACAS 2006
  • RelMiCS (Relational Methods in Computer Science)
  • JSAT Special Issue on SAT2005
  • AI EDAM Special Issue on Constraints and Design
  • ISSAC (International Symposium on Symbolic and Algebraic Computation)
  • ICLA (Indian Conference on Logic and its Applications