Hear the latest developments in ACL2 from the ACL2 developers themselves. And find out how your colleagues are using ACL2 to solve real-world problems.
RegisterThe latest developments in ACL2, including new features in the prover itself and new applications
01Old pros and newbies alike are welcome in the ACL2 community. Come see what we're all doing
02Thinking about grad school About to earn your Ph.D.? Ready for a new job? Come see who uses ACL2 and other theorem proving technology
03Reconnect with old friends from the ACL2 community! Join us for two fun days geeking out about ACL2 with others who share your passion/pain
04
Automated Reasoning Group
@ Amazon Web Services
World is committed to making participation in the event a harass ment free experience for everyone, regardless of level experience gender, gender identity and expression
Marketing Matters
Marketing Matters
Research in Software Engineering
@ Microsoft Research
World is committed to making participation in the event a harass ment free experience for everyone, regardless of level experience gender, gender identity and expression
Marketing Matters
Marketing Matters
Intel
World is committed to making participation in the event a harass ment free experience for everyone, regardless of level experience gender, gender identity and expression
Marketing Matters
Marketing Matters