Temur Kutsia

• Main
• Publications
• Projects
• Teaching
• Organization
• Software
• Links
• Personal

Summer Semester 2013

• Rewriting in Computer Science and Logic.
• Automated Reasoning Systems.

Winter Semester 2012

• Logic Programming.

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.
• 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.

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 (WS2002, WS2003, WS2004, WS2005, WS2006, WS2007, WS2008, WS2009, WS2010, WS2011)
  • Selected Algorithms (WS2006, WS2007, SS2009, SS2012)
  • Unification Theory (SS2008, SS2010, SS2012)
• Tbilisi State University:
  • Logic Programming (SS1998)
  • Programming languages (SS1998)