Current Activities

Chairing

• 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

• Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06), August 2006, Seattle, WA, USA

Reviewing (since 2005)

• IEE Computers & Digital Techniques
• SAT 2006
• TACAS 2006
• JSAT Special Issue on SAT2005
• AI EDAM Special Issue on Constraints and Design