Former proseminars
- Advanced techniques for typical applications in computer science (W 2011/2012)
- EJB, PHP, XML & Co. (S 2001)
- Formal specification with Abstract State Machines (W 2010/2011)
- Foundations of computer science (S 1995)
- Functional programming (S 2003)
- Introduction to Java programming (S 1999)
- Logic-based programming (W 2005/2006, W 2004/2005)
- Logic-based programming languages (W 2011/2012, S 2007, S 2006)
- Mathematical and structural foundations of computer science (W 2008/2009, S 2005, S 2004)
- Modelling using UML 2.0 (S 2008)
- Object-orientied modelling of software using UML (S 2000)
- Software engineering (S 1996)