Teaching
Lectures and seminars offered by our group:
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