ACL2 Workshop 2022

17th International Workshop on the ACL2 Theorem Prover and Its Applications

Gates-Dell Complex

Registration for ACL2 Workshop 2022 has ended. Please consult workshop webpage for additional information.

<p>ACL2-2022 is planned to be a two-day workshop to be held in Austin, Texas, USA, on May 26-27, 2022.  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 17th 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.</p>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Registrations are closed

ACL2 Workshop 2022

More events from this organizer

Follow organizers to get events picked for you

Registrations are closed

ACL2 Workshop 2022

More events from this organizer

Follow organizers to get events picked for you

More Science & Tech events

Browse more Science & Tech events with different dates, prices, and formats to find your next great experience.