Teaching

International Summer Schools

  • Matching, Unification, and Generalizations. Course at the 6th International School on Rewriting, ISR 2012, July 16-20, 2012. Valencia, Spain.
  • Unification. Course at the 7th International Tbilisi Summer School in Logic and Language, Tbilisi 2011, September 19-23, 2011. Tbilisi, Georgia.

Summer Semester 2012

Winter Semester 2011

Old courses

  • Johannes Kepler University Linz:
    • Algebraic and Discrete Methods in Biology (SS2007, SS2008, SS2009)
    • Automated Reasoning Systems (SS2007, SS2011)
    • Information Systems (WS2007, WS2008)
    • Logic Programming (WS2003, WS2004, WS2005, WS2006, WS2007, WS2008, WS2009, WS2010)
    • Selected Algorithms (WS2006, WS2007, SS2009)
    • Unification Theory (SS2008, SS2010)
  • Series of lectures on Unification at the Third and Fourth RISC/SCIEnce Training Schools in Symbolic Computation. July 2008, 2009, Hagenberg, Austria.
  • Unification Theory. One-week course at the 19th European Summer School in Logic, Language and Information, ESSLLI 2007. August 2007, Trinity College, Dublin, Ireland.
  • Tbilisi State University:
    • Logic Programming (SS1998)
    • Programming languages (SS1998)