In 2001 I was responsible for the exercise sessions of Prof. Menzels course on computability at the University of Karlsruhe. Exercises and solutions (in German) are online here.
I gave an intensive graduate course on aspect oriented programming at Chalmers University, Gothenburg, in September 2003.
In the winter semester 2006/2007 I gave a course on `practical software engineering' (Praktische Softwaretechnologie) at the university of Linz, for which there is a German web page.
In Spring 2008, I taught a course on logic.
Since 2008, I am leading the logic seminar at the dept. of computer science.
Since 2010, I give an annual bachelor/master level course on semantic technologies at the dept. of computer science.