These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Teaching (in German)

Unfortunately, this part of our web pages is only available in German language: Lehre