ACL2 2009: Important Dates
Abstract Submission
January 12, 2009
Paper Submission
January 28, 2009
Acceptance Notification
March 2, 2009
Final Version
March 31, 2009
Workshop
May 11-12, 2009