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
Email
sheraton.seattle@sheraton.com
For information about the venue such as
local transportation and places to visit, visit the
FLoC 2006 Web page, which has information on Seattle.
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16