Chairmanships

• FMCAD 2006: IEEE/ACM International Conference on Formal Methods in Computer-Aided Design , Co-Chair. The slides for the tutorials, invited talks, and conference papers are available online.

• ACL2 2006: International Workshop on the ACL2 Theorem Prover and Its Applications , Co-Chair. The proceedings of ACL2 2006 are available online. ACL2 2006 was part of FLoC 2006 and was hosted by the CAV 2006 and IJCAR 2006 conferences.

Steering Committee, Advisory Panel Memberships

• FMCAD - IEEE/ACM International Conference on Formal Methods in Computer-Aided Design, Steering Committee Member 2006-Present.
• International Workshop on the ACL2 Theorem Prover and Its Applications, Steering Committee Member 2006-2009.
• SAT Race 2008, part of SAT 2008, Advisory Panel Member.

Programm Committee Memberships

• SAT 2009: Twelveth International Conference on Theory and Applications of Satisfiability Testing.
• TACAS 2009: Tools and Algorithms for the Construction and Analysis of Systems
• TPHOLs 2009: International Conference on Theorem Proving in Higher Order Logics.

• ACL2 2009: International Workshop on the ACL2 Theorem Prover and Its Applications.
• VMCAI 2009: Tenth International Conference on Verification, Model Checking, and Abstract Interpretation.
• FMCAD 2008: Eighth International Conference on Formal Methods in Computer Aided Design.
• VSTTE 2008: Verified Software: Theories, Tools, and Experiments.
• BPR 2008: First International Workshop on Bit-Precise Reasoning.
• SAT 2008: Eleventh International Conference on Theory and Applications of Satisfiability Testing.
• ICCAD 2007: IEEE/ACM International Conference on Computer-Aided Design.

• FMCAD 2007: IEEE/ACM International Conference on Formal Methods in Computer-Aided Design.

• ACL2 2007: International Workshop on the ACL2 Theorem Prover and Its Applications.

• SAT 2007: The Tenth International Conference on Theory and Applications of Satisfiability Testing.

• ASP-DAC 2007: IEEE/ACM Asia and South Pacific Design Automation Conference.

• ICCAD 2006: IEEE/ACM International Conference on Computer-Aided Design.

• MEMOCODE 2006: ACM-IEEE International Conference on Formal Methods and Models for Codesign.

• CHARME 2005: Advanced Research Working Conference on Correct Hardware Design and Verification Methods.

• TPHOLs 2005: International Conference on Theorem Proving in Higher Order Logics.

• ACL2 2004: International Workshop on the ACL2 Theorem Prover and Its Applications.

• CAV 2004: Computer-Aided Verification.

• CAV 2003: Computer-Aided Verification.

• ICCD 2002: IEEE International Conference on Computer Design.

• ACL2 2002: International Workshop on the ACL2 Theorem Prover and Its Applications.

• ACL2 2000: International Workshop on the ACL2 Theorem Prover and Its Applications.

Other Service

• FMCAD 2007: IEEE/ACM International Conference on Formal Methods in Computer-Aided Design Benchmarks Chair.

• ACL2 1999: International Workshop on the ACL2 Theorem Prover and Its Applications , Organizing Committee.