ACL2 Workshop 2025:
Business Meeting Topics

        ?? Participants from ?? organizations

        Funds (registrations + sponsors) paid for:
          - Food, proceedings, swag
          - Future workshop budget cushioning
          - Build server

        Sponsors: See workshop web page

Here is a list of topics. (Please contact the general co-chairs (Matt Kaufmann and Eric Smith) to suggest additional topics.)

• Who will put together an Organizing Committee for the next ACL2 Workshop, presumably to be held around November, 2026?
• The ACL2 Workshop Steering Committee (SC) has the following membership:
  • Program Co-Chairs from the most recent two ACL2 Workshops (in this case: Matt Kaufmann, Mayank Manjrekar, Ruben Gamboa, and Pete Manolios)
  • Matt Kaufmann and J Moore
• The SC approves the new General Co-Chairs, location, and date.
• Anyone can suggest members of the next Organizing Committee (General Co-chairs, Program Co-chairs, Local Arrangement Chair(s), Registration Chair).
• Are there any suggestions for improving the workshops, in particular based on this year's workshop?
• Are there any infrastructure issues to discuss? For example:
• Might people be interested in giving online seminar talks?