- First International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2011)
- 10th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2011)
- Hardware Model Checking Competition (HWMCC 2011)
Formal Methods in Computer-Aided Design
Austin, TX, USA
October 30 - November 2