Proseminar Artificial Intelligence, Winter 2008.
Seminar Foundations of Artificial Intelligence, Summer 2009.