Back on Campus
Back on campus – safely: the 3G-rule (recovered, vaccinated or tested) and contact tracing for all study operations have already been in effect at the University of Konstanz for a few weeks. Currently, students' 3G-status will be checked before they can enter the university. The SARS-CoV-2-screening services provided by the university are expanded for students as well as staff who do not work exclusively from home.
Please keep informed about the latest regulations before entering the university:
www.uni-konstanz.de/en/university/news-and-media/coronavirus/3g-rule/
www.uni-konstanz.de/en/university/news-and-media/coronavirus/safetogether/
Winter Term: 1 October 2021- 31 March 2022
Classes: 25 October 2021 - 12 February 2022
No classes: 24 December 2021 - 6 January 2022
- Course: Verification of Software and Systems (BA/MA-students)
- Directed Studies: Verification of Cyber-Physical Systems (MA-level and advanced BA-students)
- Directed Studies: Decision Procedures for Software Verification (BA 4. semester and MA-students)
- Master Seminar: Quantum Computing and Formal Verification (MA-students)
- Bachelor / Master Project: Software and Systems Engineering