Teaching
SS 2026
Trustworthy Artificial Intelligence
(705.007)
TU Graz
Overview of state-of-the-art techniques for utilizing symbolic knowledge in subsymbolic systems. Topics include safe and explainable reinforcement learning, monitoring, and neural network verification.
Verification and Model Checking
(705.005)
TU Graz
Bettina Könighofer
, Stefan Pranger
, Roderick Bloem
Introduction to formal specification and verification of software and hardware systems. Topics include model checking, temporal logic, and automated theorem proving.
WS 2025/26
Logic and Computability (practicals)
(705.011)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(705.010)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
SS 2025
Model Checking
(705.080)
TU Graz
Bettina Könighofer
, Stefan Pranger
, Roderick Bloem
Introduction to the formal specification and verification of software and hardware systems. Topics include modeling systems using temporal and probabilistic logics such as CTL, LTL, and PCTL, as well as model checking.
WS 2024/25
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
SS 2024
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
Model Checking
(705.080)
TU Graz
Bettina Könighofer
, Stefan Pranger
, Roderick Bloem
Introduction to the formal specification and verification of software and hardware systems. Topics include modeling systems using temporal and probabilistic logics such as CTL, LTL, and PCTL, as well as model checking.
SS 2023
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
Model Checking
(705.080)
TU Graz
Bettina Könighofer
, Roderick Bloem
Introduction to the formal specification and verification of software and hardware systems. Topics include modeling systems using temporal and probabilistic logics such as CTL, LTL, and PCTL, as well as model checking.
SS 2022
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
Model Checking
(705.080)
TU Graz
Bettina Könighofer
, Roderick Bloem
Introduction to the formal specification and verification of software and hardware systems. Topics include modeling systems using temporal and probabilistic logics such as CTL, LTL, and PCTL, as well as model checking.
SS 2021
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.
SS 2020
Logic and Computability (practicals)
(IND.05034UF)
TU Graz
Exercises related to the content of the corresponding lecture.
Logic and Computability (lecture)
(IND.04033UF)
TU Graz
Introduction to the foundations of logic, covering the syntax and semantics of propositional and first-order logic, as well as basic logical reasoning using natural deduction. Topics include SAT solving and the DPLL algorithm, binary decision diagrams, equivalence checking, and satisfiability modulo theories.