We hold regular workshops. See workshops for more information.
An ACL2 seminar has met regularly at the University of Texas. A list of past talks, generally accompanied by abstracts and sometimes slides, may be found on the UT ACL2 seminar page.
See this course-materials documentation topic.