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.
Here are some other links (some of which are mentioned on other pages too).
examples.tgz, which contains the examples and exercises mentioned in that agenda
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