Email: sieber@informatik.uni-siegen.de
Phone: (+49) 271-740-2305
Fax: (+49) 271-740-2532
SS 2008: Theorie der Programmierung II
WS 2007/08: Theorie der Programmierung I
WS 2007/08: Algorithmen, 1. Teil
SS 2007: Theorie der Programmierung III
SS 2007: Mathematische Grundlagen der Theoretischen Informatik
WS 2006/07: Theorie der Programmierung I + II
SS 2006: Konzepte höherer Programmiersprachen
WS 2005/06: Projektgruppe zur Theorie der Programmierung
WS 2005/06: Seminar über Model Checking
WS 2005/06: Theorie der Programmierung I + II
SS 2005: Konzepte höherer Programmiersprachen
SS 2005: Theorie der Programmierung II
WS 2004/05: Grundlagen der theoretischen Informatik
WS 2004/05: Theorie der Programmierung I
SS 2004: Konzepte höherer Programmiersprachen