Conferences

opentheory   •   metis   •   chess   •   conferences

2019

• Interactive Theorem Proving (ITP 2019), PC Member.
• NASA Formal Methods Symposium (NFM 2019), PC Member.

2018

• Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2018), PC Member.

2017

• Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), PC Member.

2015

• Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), PC Member.

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

• Theorem Proving in Higher Order Logics (TPHOLs 2009), PC Member.

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

• Theorem Proving in Higher Order Logics (TPHOLs 2007), PC Member.

2006

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

2005

• Empirically Successful Automated Reasoning in Higher-Order Logic Workshop (ESHOL 2005), Invited Speaker.
• Theorem Proving in Higher Order Logics (TPHOLs 2005), PC Chair.