Teaching - Archive
Summer 2020
Lecture: Competitive Programming
Lecture: Automated Reasoning II
Winter 2019/2020
Lecture: Automated Reasoning
Summer 2019
Lecture: Concrete Semantics with Isabelle/HOL
Lecture: Decision Procedures
Winter 2018/2019
Lecture: Automated Reasoning
Blockseminar: Inductive Logic Programming: a Symbolic Approach to Machine Learning
Summer 2018
Lecture: Automated Reasoning II
Winter 2017/2018
Lecture: Automated Reasoning
Summer 2017
Lecture: Automated Reasoning II
Winter 2016/2017
Lecture: Automated Reasoning
Summer 2016
Lecture: Automated Reasoning II
Proseminar: SAT: Propositionale Erfüllbarkeit und Mehr
Winter 2015/2016
Lecture: Automated Reasoning
Summer 2015
Lecture: Concrete Semantics with Isabelle/HOL
Seminar: Decision Procedures
Winter 2014/2015
Lecture: Automated Reasoning
Summer 2014
Lecture: Automated Reasoning II
Winter 2013/2014
Lecture: Automated Reasoning
Winter 2010/2011
Proseminar: SAT