ACL2 2009: Important Dates


Abstract Submission January 12, 2009
Paper SubmissionJanuary 28, 2009
Acceptance NotificationMarch 2, 2009
Final Version March 31, 2009
Workshop May 11-12, 2009