Frühere Seminare
- Algebraische Strukturen als Grundlage der Informatik (SS 2008, SS 2007)
- Analyse und Optimierung von Programmen (WS 2005/2006, WS 2002/2003)
- Aktuelle Themen des Requirements Engineering (WS 2009/2010)
- Constraint-Programmierung (WS 2006/2007)
- Constraints/Logik/Objektorientierung (SS 2006)
- Diskrete Strukturen als Grundlage formaler Modelle (SS 2006)
- Entwicklung reaktiver Systeme (SS 1998)
- Fortgeschrittene Konzepte der funktionalen Programmierung (WS 1997/1998, WS 1996/1997)
- Informatik und Gesellschaft (WS 1996/1997)
- Konzepte funktionaler Programmiersprachen (WS 2009/2010, WS 2008/2009, WS 2007/2008)
- Logik als Basis formaler Modelle (WS 2003/2004)
- Modelle und formale Methoden für Benutzerinteraktionen (WS 2006/2007)
- Musterbasierte Softwareentwicklung (WS 1998/1999)
- Neuartige Technologien zur Benutzerführung und GUI-Spezifikation (SS 2003)
- Programmiersprachkonzepte und deren Semantik (WS 2000/2001)
- Programmtransformation (WS 2001/2002)
- Regelbasierte Systeme (WS 2004/2005)
- Regelbasierte und Constraint-Programmierung (SS 2010)
- Semantik von Programmier- und Spezifikationssprachen (WS 2006/2007)
- Softwareengineering eingebetteter Systeme (SS 2011, WS 2010/2011)
- Software-Qualitätsmanagement (WS 1999/2000)
- Techniken der formalen Programmentwicklung an Hand von Beispielen (WS 2011/2012)
- Übersetzung neuerer Sprachkonzepte (SS 2004)
- Werkzeuge zur formalen Programmentwicklung (SS 1995)