Due to the COVID-19 pandemic, the ACL2 Workshop 2020 is now online. We will miss seeing all of you, but we'll still be able to share our current efforts with ACL2.