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.
RegisterGreat Presentations
The latest developments in ACL2, including new features in the prover itself and new applications
01The Community
Old pros and newbies alike are welcome in the ACL2 community. Come see what we're all doing
02Networking
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
03Have 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
04Listen to the Invited Speakers
John Harrison
Automated Reasoning Group
@ Amazon Web Services
David Robert
Cheif Architecture
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
Sessions by David
Day 1
10.30 - 11.30 amMarketing Matters
Day 1
10.30 - 11.30 amMarketing Matters
Leonardo de Moura
Research in Software Engineering
@ Microsoft Research
David Robert
Cheif Architecture
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
Sessions by David
Day 1
10.30 - 11.30 amMarketing Matters
Day 1
10.30 - 11.30 amMarketing Matters
Dave Russinoff
Intel
David Robert
Cheif Architecture
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
Sessions by David
Day 1
10.30 - 11.30 amMarketing Matters
Day 1
10.30 - 11.30 amMarketing Matters
Who helps us Our Sponsors
We need sponsors! If your company uses ACL2, please considering helping us by sponsoring this workshop.