Skip to main content
Side panel
Home
More
English (en)
Deutsch (de)
English (en)
Log in
Home
Courses
WS 2025/26
WS 2025/26
Course categories
WS 2025/26
SS 2025
Previous Years
Previous Years / WS 2024/25
Previous Years / WS 2023/24
Previous Years / WS 2022/23
Previous Years / WS 2021/22
Previous Years / WS 2020/21
Previous Years / WS 2019/20
Previous Years / WS 2018/19
Previous Years / WS 2017/18
Previous Years / WS 2016/17
Previous Years / WS 2015/16
Previous Years / WS 2014/15
Previous Years / WS 2013/14
Previous Years / WS 2012/13
Previous Years / WS 2011/12
Previous Years / WS 2010/11
Previous Years / WS 2009/10
Previous Years / WS 2008/09
Previous Years / WS 2007/08
Previous Years / SS 2024
Previous Years / SS 2023
Previous Years / SS 2022
Previous Years / SS 2021
Previous Years / SS 2020
Previous Years / SS 2019
Previous Years / SS 2018
Previous Years / SS 2017
Previous Years / SS 2016
Previous Years / SS 2015
Previous Years / SS 2014
Previous Years / SS 2013
Previous Years / SS 2012
Previous Years / SS 2011
Previous Years / SS 2010
Previous Years / SS 2009
Previous Years / SS 2008
Miscellaneous
Search courses
Search courses
Computational Logic (WS 2025/26)
Lecturer:
Nikolaj Popov
Lecturer:
Wolfgang Schreiner
Formal Methods in Software Development (WS 2025/26)
Lecturer:
Wolfgang Schreiner
Seminar Formal Methods and Automated Reasoning I (WS 2025/26)
Lecturer:
Temur Kutsia
Lecturer:
Wolfgang Schreiner
Lecturer:
Wolfgang Windsteiger
