We need your help! We literally can't do this without the support of our industrial partners in the ACL2 community. So if your company benefits from ACL2, please contact the workshop organizers (Grant or Ruben) to sponsor the workshop.