Seminar “Selected Topics in Logic and Verification”

Lecture series

This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). The seminar addresses students that have profound knowledge in theoretical computer science and logics.