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)