ACL2 Workshop 2025:
Business Meeting Agenda

• 2025 ACL2 Workshop stats:
  • 68 Registered (39 in person, 29 online)
  • 30+ organizations represented
  • Sponsors include:
  • Benchify, Inc.
  • Alessandro Coglio
  • ForrestHunt, Inc.
  • Kestrel Institute
  • Kestrel Technology, LLC
  • MAN LLC
  • Eric McCarthy
  • Greg Nisbet
• Sponsors and fees help pay for food, swag, student travel, Best Student Paper award, infrastructure (build server), and budget cushion for future workshops.
• Thanks to the organizers:
  • Program Chairs: Ruben Gamboa and Pete Manolios
  • Organizing Chairs: Matt Kaufmann and Eric Smith
  • Arrangements Chairs: Carl Kwan and Maxine Xin
  • Registration Chair: David Rager
  • Program Committee (25 members)
• Best Student Paper Awards ($500 each):
  • An ACL2s Interface to Z3: Andrew T. Walter
  • A Formalization of the Correctness of the Floodsub Protocol: Ankit Kumar
  We encourage students to submit to the next workshop!
• ACL2 Community:
  • Over 7000 commits since last workshop!
  • Zulip Chat (acl2.zulip.kestrel.institute): 52 users, contact Eric Smith for an invitation.
  • Proposed monthly ACL2 Seminars: online via Zoom (like Matt's 4/2025 set theory talks): Email Eric Smith to volunteer to speak
  • Please add your ACL2 developments to the community books (more visibility, will be maintained by the community). Works-in-progress welcome.
• Mailing Lists:
  • acl2 (general, low-traffic)
  • acl2-help
  • acl2-books -- propose splitting off the commit emails (new "acl2-git" list)
  • acl2-mtg (seminar announcements)
  • acl2-devel (for future developers)
  • acl2-testing (Leeroy test failures)
• Explore Creating an ACL2 Foundation:
  • Inspired by seL4 Foundation, Rocq Consortium (Coq prover), and Lean FRO.
  • Could (eventually):
  • Coordinate workshops
  • Manage community infrastructure (website, mailing list, testing, docs)
  • Accept donations (funds or IP)
  • Support work on improving ACL2 and fostering adoption
  • All are encouraged to participate. Strong support and interest in participating has been expressed by: Alessandro Coglio, Ruben Gamboa, Pete Manolios, Eric Smith, Sudarshan Srinivasan, Sol Swords and Max von Hippel.
  • If you want to help, contact Alessandro Coglio or Eric Smith
• The ACL2 Workshop Steering Committee (SC) is:
  • Matt Kaufmann (ACL2 developer)
  • J Moore (ACL2 developer)
  • Cuong Chau (2022 chair, rotates out)
  • Rob Sumners (2022 chair, rotates out)
  • Mayank Manjrekar (2023 chair)
  • Alessandro Coglio (2023 chair)
  • Sol Swords (2023 chair)
  • Ruben Gamboa (2025 chair, rotates in)
  • Pete Manolios (2025 chair, rotates in)
• Next ACL2 Workshop:
  • Perhaps in late 2026 (18 months from now)
  • The SC approves the organizers, location, and date.
  • Need General Co-chair(s), Program Co-chairs, Local Arrangements Chair(s), Registration Chair.
  • Anyone can nominate people to be organizers
  • Discussion
• Open Discussion
  • Suggestions for improving the workshops?
  • How much ACL2 code is currently being maintained outside of the community books?
  • Other topics?