This website uses cookies for usage analysis with the Matomo software. This usage analysis is made anonymous and doesn't allow any conclusions about individual visitors. Please click on the information about data privacy.
The joint meeting with the Sections Software Engineering (Prof. Zündorf) and Theoretical Computer Science / Formal Methods (Prof. Lange) takes place via Zoom.
