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.
