ACL2 2006
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16
The ACL2 2006 workshop will be held as part of FLoC 2006 in Seattle, Washington. The FLoC conference hotel is:

The Seattle Sheraton Hotel and Towers
1400 6th Avenue
Seattle, Washington 98101
United States
Phone (206) 621-9000
Fax (206) 621-8441

For information about the venue such as local transportation and places to visit, visit the FLoC 2006 Web page, which has information on Seattle.