Former seminars
- Advanced concepts of functional programming (W 1997/1998, W 1996/1997)
- Algebraic structures as a foundation of computer science (S 2008, S 2007)
- Compiling functional, logical, and object-oriented languages (S 2004)
- Computer science and society (W 1996/1997)
- Concepts of functional programming languages (W 2009/2010, W 2008/2009, W 2007/2008)
- Constraint programming (W 2006/2007)
- Constraints/Logic/OOP (S 2006)
- Current topics of requirements engineering (W 2009/2010)
- Development of reactive systems (S 1998)
- Discrete structures as a foundation of formal models (S 2006)
- Engineering embedded software systems (S 2011, W 2010/2011)
- Logic as a foundation of formal models (W 2003/2004)
- Models and formal methods for user interaction (W 2006/2007)
- New concepts of user guidance and GUI-specification (S 2003)
- Pattern-based software development (W 1998/1999)
- Program analysis and optimisation (W 2005/2006, W 2002/2003)
- Program transformation (W 2001/2002)
- Programming language concepts and semantics (W 2000/2001)
- Rule-based systems (W 2004/2005)
- Rule-based formalisms (S 2010)
- Semantics of programming and specification languages (W 2006/2007)
- Software quality management (W 1999/2000)
- Techniques of formal program development (W 2011/2012)
- Tools for formal program development (S 1995)