Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

Teaching in Winter 2019

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2019

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2018/19

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2018

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2017/18

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2017

Courses:

Seminars:

Teaching in Winter 2016/17

Courses:

Seminars:

Information on teaching in previous semesters can be found on the PST homepage (German).