Wednesday
IMPORTANT DATES
========================================================================
Abstract Submission Deadline April 14, 2006, 11:59 PM NY time
Paper Submission Deadline April 19, 2006, 11:59 PM NY time
Acceptance notification: June 9, 2006
Final version due: July 24, 2006
SCOPE OF CONFERENCE
========================================================================
ACL2 2006 is the major technical forum for users of the ACL2 theorem proving system and is the sixth in a series of workshops that occur every 18 months. ACL2 is an industrial-strength automated reasoning system that is part of the Boyer-Moore family of theorem provers, winner of the 2005 ACM Software System Award. ACL2 2006 is hosted by the CAV and IJCAR conferences, which are part of FLoC 2006, the Federated Logic Conference. In addition, and as reflected by our program committee, we encourage participation from users of other theorem provers and persons interested in the application of theorem proving technology. We invite papers on any ACL2-related topic, including but not limited to:
+ applications of the theorem prover,
+ proposals for ACL2 theorem prover improvements, especially as
illustrated in experimental extensions or other systems,
+ comparisons with other theorem provers, programming languages, or
specification languages,
+ solved (and unsolved!) challenge problems, and
+ implementations connecting ACL2 with other systems.