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

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

Programm Committee Memberships

• NFM 2015: NASA Formal Methods Symposium.
• FMCAD 2014: Formal Methods in Computer Aided Design.
• ACL2 2014: International Workshop on the ACL2 Theorem Prover and Its Applications.
• SAT 2014: 17th International Conference on Theory and Applications of Satisfiability Testing.
• ITP 2014 - Interactive Theorem Proving.
• FMCAD 2013: Formal Methods in Computer Aided Design.
• ITP 2013 - July 22-26, 2013, Rennes, France - Interactive Theorem Proving.
• ACL2 2013: International Workshop on the ACL2 Theorem Prover and Its Applications.
• DAC 2013 - June 2-6, 2013, Austin, US - Design Automation Conference.
• SAT 2012: Fifteenth International Conference on Theory and Applications of Satisfiability Testing.
• VSTTE 2012: Verified Software: Theories, Tools, and Experiments.
• ACL2 2011: International Workshop on the ACL2 Theorem Prover and Its Applications.
• FMCAD 2011: Formal Methods in Computer Aided Design.
• ITP 2011: Interactive Theorem Proving.
• SAT 2011: Fourteenth International Conference on Theory and Applications of Satisfiability Testing.
• TACAS 2011: Tools and Algorithms for the Construction and Analysis of Systems.
• FMCAD 2010: Formal Methods in Computer Aided Design.
• SSS 2010: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Safety and Verification Track.
• ITP 2010: International Conference on Interactive Theorem Proving.
• SAT 2010: Thirteenth International Conference on Theory and Applications of Satisfiability Testing.
• DATE 2010: Design, Automation, and Test in Europe. Track D8, Formal Methods and Verification.
• SAT 2009: Twelveth International Conference on Theory and Applications of Satisfiability Testing.
• TACAS 2009: Tools and Algorithms for the Construction and Analysis of Systems
• FMCAD 2009: Ninth International Conference on Formal Methods in Computer Aided Design.
• 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

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