ACL2 Developer's Workshop 2017

The first ACL2 Developer's Workshop will be held on Wednesday and Thursday, May 24 - 25, 2017, immediately after the next ACL2 Workshop, and also at the University of Texas, Austin, Texas, USA. It will take place in room GDC 7.808 of the Gates Dell Complex building (home of the UT CS department) at 2317 Speedway, Austin, TX 78712.

Matt and J plan to maintain ACL2 for years to come. But perhaps it's time to think about future maintenance, working towards the day when those two eventually slow down.

PLEASE NOTE: This workshop is intended for those who may be interested in becoming contributors to the maintenance of the ACL2 source code, not for those interested only in using ACL2. For awhile, Matt and J will still be the only ones writing to the sources, and will vet all contributions before incorporating them into the sources.

If you intend to come, please visit the following pages.

• Overview: How the workshop will be run, and what it may produce.
• Preparations: It would be good to go through these before the workshop if you have time. Actually one thing is critical: on the laptop you plan to bring, get ACL2 from github and build it on (preferably) CCL.
• Preliminary Agenda
• Expected Participants

Here are some other links (some of which are mentioned on other pages too).

• The examples tarball, examples.tgz, which contains the examples and exercises mentioned in that agenda
• A directory of solutions.
• A demo to be presented by J on the first morning (see the Preliminary Agenda)
• Instructions for obtaining and installing CCL
• :DOC system-development
• A few "to do" items that could be addressed by those in the acl2-devel community.

Last updated Thu May 25 15:15:29 2017

Updated examples.tgz Fri May 19 17:00:26 2017

Updated agenda.html Fri May 19 16:36:37 2017

Updated expected-participants.html Sun May 21 21:57:27 2017