ACL2 2006
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16
Abstract Submission DeadlineApril 14, 2006, 11:59 PM NY time
Paper Submission DeadlineApril 19, 2006, 11:59 PM NY time
Acceptence NotificationJune 9, 2006
Final Version DueJuly 24, 2006
Early Registration DeadlineJuly 10, 2006
Regular Registration DeadlineAugust 1, 2006
Hotel Registration DeadlineJuly 21, 2006
ACL2 2006August 15-16, 2006