Current Activities

Chairing

• SAT-Race 2010, July 2010, Edinburgh, Scotland, UK
• FLoC 2010, Workshop Chair for the SAT Conference
• SAT-Race 2008, May 2008, Guangzhou, China
• SAT-Race 2006, August 2006, Seattle, WA, USA
• ECAI 2006 Workshop on Configuration, August 2006, Riva del Garda, Italy

Program Committee Member (since 2006)

• 24th AAAI Conference on Artificial Intelligence, July 2010, Atlanta, GA, USA
• Pragmatics of SAT Workshop (PoS'10), July 2010, Edinburgh, Scotland, UK
• 13th International Conference on Theory and Applications of Satisfiability Testing (SAT'10), July 2010, Edinburgh, Scotland, UK
• Workshop on Parallel Satisfiability Solving (WPSS'10), June/July 2010, Caen, France
• 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'10), June 2010, Bologna, Italy
• Intl. J. of Mass Customization (IJMassC), Special Issue
• 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09), June/July 2009, Swansea, Wales, UK
• ECAI 2008 Workshop on Configuration Systems, July 2008, Patras, Greece
• 9th International Conference on Theory and Applications of Satisfiability Testing (SAT'06), August 2006, Seattle, WA, USA

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