Loading events...
The 2025 ACL2 Workshop will be held in Austin, Texas, USA, May 12-13, 2025, in a hybrid format: presenters can be in-person or remote, and both audiences will be able to watch all presentations. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend.
Monday, May 12, 2025 - Tuesday, May 13, 2025
Virtual Event
The 2025 ACL2 Workshop will be held in Austin, Texas, USA, May 12-13, 2025, in a hybrid format: presenters can be in-person or remote, and both audiences will be able to watch all presentations. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend.
Receive curated event recommendations based on your interests.
See how WebMobi helps you manage registration, check-in, and analytics.
Request a DemoOr start free trial →ACL2 Workshop 2025 19th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2025) takes place on Monday, May 12, 2025 to Tuesday, May 13, 2025 in Austin. All times are in UTC.
ACL2 Workshop 2025 19th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2025) is a virtual event that you can attend from anywhere.
WebMobi provides event registration, ticketing, mobile apps, check-in, and analytics — all with zero platform fees.
Get curated B2B events, AI-powered insights, and industry trends delivered to your inbox