ACL2 2006
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16

Organizing Committee

Chairs

Panagiotis Manolios, Georgia Institute of Technology, USA
Matthew Wilding, Rockwell Collins Inc., USA
Publications
Ruben Gamboa, University of Wyoming, USA
Webmasters

Sudarshan Srinivasan, Georgia Institute of Technology, USA
Daron Vroon, Georgia Institute of Technology, USA

Program Committee