9th Competition on Software Verification (SV-COMP 2020) has announced the results. Congratulations to all participants and winners!

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).