The 2025 ACL2 Workshop will be held in Austin, Texas, USA and also online, May 12-13, 2025. The extent of in-person activities will be determined by the status of the pandemic, but there will be online support for all presentations. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend.
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work in ACL2 and the other theorem provers in the Boyer-Moore family.
ACL2-2025 is planned to be a two-day workshop to be held in Austin, Texas, USA in 2025 (dates to be determined). The workshop is planned to be held in-person on the University of Texas at Austin campus. In addition to in-person participation, the workshop will support online participation for all talks and presentations. The workshop will be the 19th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature technical papers as well as rump sessions that discuss ongoing research.
Check back later for the Call for Papers.Feel free to email the Organizing Chairs if you have questions.
The workshop will take place on the campus of the University of Texas in the Gates Dell Complex (GDC), North Wing, Room 6.302 (Faculty Lounge), which is located south of 24th Street on Speedway. Visitor parking is available in the parking garages, of which the San Jacinto Garage is closest to GDC.
In addition, the workshop will be held online. Details of the online participation will be forthcoming.
Here are some possibilities. Note that no block of rooms is being reserved.