ACL2 Workshop 2020 Why you should attend

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.

Register

Great Presentations

The latest developments in ACL2, including new features in the prover itself and new applications

01

The Community

Old pros and newbies alike are welcome in the ACL2 community. Come see what we're all doing

02

Networking

Thinking about grad school About to earn your Ph.D.? Ready for a new job? Come see who uses ACL2 and other theorem proving technology

03

Have Fun

Reconnect 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

Listen to the Invited Speakers

John Harrison

John Harrison

Automated Reasoning Group
@ Amazon Web Services


Leonardo de Moura

Leonardo de Moura

Research in Software Engineering
@ Microsoft Research

Who helps us Our Sponsors