Seminar “Selected Topics in Logic and Verification”
From International Center for Computational Logic
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.