## 2017

## 2015

## 2014

- Interactive Theorem Proving (ITP 2014), PC Member.
- NASA Formal Methods Symposium (NFM 2014), PC Member.

## 2013

- Formal Methods in Computer-Aided Design (FMCAD 2013), Local Arrangements Chair.
- NASA Formal Methods Symposium (NFM 2013), PC Member.
- Synthesis, Verification and Analysis of Rich Models Workshop (SVARM 2013), Invited Speaker.

## 2012

- Systems Software Verification (SSV 2012), PC Member.
- Interactive Theorem Proving (ITP 2012), PC Member.
- SVARM & VERIFY Workshop 2012, PC Member.
- Automated Theory eXploration Workshop (ATX 2012), PC Member.
- NASA Formal Methods Symposium (NFM 2012), PC Member.
- Special-Purpose Hardware for Attacking Cryptographic Systems Workshop (SHARCS 2012), Invited Speaker (With Sally Browning).

## 2011

- Automated Theory Engineering Workshop (ATE 2011), PC Member.

## 2010

- Workshop on Systems Software Verification (SSV '10), Invited Speaker.
- Evaluation Methods for Solvers and Quality Metrics for Solutions Workshop (EMS+QMS 2010), Invited Speaker and Panelist.
- Practical Aspects of Automated Reasoning Workshop (PAAR 2010), PC Member.
- Verification Workshop (VERIFY 2010), PC Member.
- Interactive Theorem Proving (ITP 2010), PC Member.

## 2009

## 2008

- Knowledge Exchange: Automated Provers and Proof Assistants Workshop (KEAPPA 2008), PC Member.
- Theorem Proving in Higher Order Logics (TPHOLs 2008), PC Member.
- Empirically Successful Automated Reasoning for Mathematics Workshop (ESARM 2008), PC Member.
- Tools and Techniques for Verification of System Infrastructure (TTVSI), Organizer.

## 2007

## 2006

- Strategies in Automated Deduction Workshop (STRATEGIES 2006), PC Member.