Z3 Theorem Prover

Slides

• TU Wien 2022 lecture
• CPAIOR 2021
• TU Wien 2019 lecture
• ATVA 2018 tutorial
• SETSS 2018 Summer School
• Mysore 2017 Winter School - Quantifiers

• Marktoberdorf 2015

  • Lecture 1
  • Lecture 2
  • Lecture 3
• Slides on Z3 Wiki
• SAT Dagstuhl 2022, Proofs
• POPL 2023 tutorial, Z3 Internals
• AVM 2025 tutorial, Arithmetic in Z3
• Guest Lectures, Wien, October 2025
• Guest lecture, Rosario National University, November 2025