Proving and Solving in Unranked Logic Theories. Course at the International Summer School in Logic, Language, and Artificial Intelligence, LLAI 2019, September 9–14, Tbilisi, Georgia.
Automated reasoning. Course at the Winter School on Theoretical Foundations of Computer Science, TFCS 2019, February 4–9, 2019. Tbilisi, Georgia.
Unification Theory. One-week course at the 19th European Summer School in Logic, Language and Information, ESSLLI 2007. August 2007, Trinity College, Dublin, Ireland.
Old courses
Johannes Kepler University Linz:
Algebraic and Discrete Methods in Biology (SS2007, SS2008, SS2009)
Automated Reasoning (lecture and exercises) (WS2013, WS2015, WS2017, Since WS2020 every year)
Automated Reasoning Systems (SS2007, SS2011, SS2013)
Computational Logics for Artificial Intelligence (WS2021, WS2022)
Design and analysis of algorithms (Since WS2018, even years)
Functional programming (Since SS2019, every year)
Information Systems (WS2007, WS2008)
Logic Programming (Since WS2002, every year)
Mathematical Logic (lecture and exercises) (Since WS2021, every year)
Programming in Mathematica (SS2016-SS2021, every year)
Rewriting in Computer Science and Logic (Since SS2013, odd years)