JavaScript is not activated in your browser. Please activate JavaScript to use the whole functionality of this website!

Close

Deutsch
English
Lehre
Lehre
Close

Professur Theoretische Informatik
Teaching

Courses

in winter term 2022/2023

Formale Grundlagen der Informatik/Theoretische Informatik I
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Proofs by Automated Systems: Applications and Desirable Features
Cartesisches Seminar
Theorie-Kolloquium

in previous terms

Summer term 2022

Winter term 2021/2022

Summer term 2021

Winter term 2020/2021

Summer term 2020

Winter term 2019/2020

Summer term 2019

Winter term 2018/19

Summer term 2018

Winter term 2017/18

Summer term 2017