• Top
  • Documentation
    • Xdoc
    • ACL2-doc
    • Recursion-and-induction
    • Loop$-primer
    • Operational-semantics
    • Pointers
    • Doc
    • Documentation-copyright
    • Course-materials
    • Publications
      • Pub-books
      • Pub-videos
      • Pub-papers
      • Pub-summary
      • Pub-slides
      • Pub-related-web-sites
    • Args
    • ACL2-doc-summary
    • Finding-documentation
    • Broken-link
    • Doc-terminal-test-2
    • Doc-terminal-test-1
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Publications

Pub-slides

Slides for talks about ACL2

See talks as well as the following pages for many slides for talks about ACL2:

• the UT ACL2 Seminar page; and
• the ACL2 workshops web pages.

The rest of this topic is a stub. Please feel free to extend it!