Sommersemester 2028 Beginn der Lehrveranstaltung Dienstag, 18.04.2028 Ende der Lehrveranstaltung Samstag, 29.07.2028 Welcome Weeks für Erstsemester 10. bis 13.04.2028 vorlesungsfreie Zeit - Exkursions
Wintersemester 2027/28 Beginn der Lehrveranstaltung Montag, 25.10.2027 Ende der Lehrveranstaltung Samstag, 12.02.2028 Welcome Weeks für Erstsemester 05. bis 23.10.2027 vorlesungsfreie Zeit - Weihnacht
Sommersemester 2027 Beginn der Lehrveranstaltung Montag, 12.04.2027 Ende der Lehrveranstaltung Samstag, 24.07.2027 Welcome Weeks für Erstsemester 05. bis 09.04.2027 vorlesungsfreie Zeit - Exkursionswo
Wintersemester 2026/27 Beginn der Lehrveranstaltung Montag, 26.10.2026 Ende der Lehrveranstaltung Samstag, 13.02.2027 Welcome Weeks für Erstsemester 05. bis 23.10.2026 vorlesungsfreie Zeit - Weihnacht
Sommersemester 2026 Beginn der Lehrveranstaltung Montag, 13.04.2026 Ende der Lehrveranstaltung Samstag, 18.07.2026 Welcome Weeks für Erstsemester 07. bis 10.04.2026 vorlesungsfreie Zeit - Exkursionswo
Wintersemester 2025/26 Beginn der Lehrveranstaltung Montag, 27.10.2025 Ende der Lehrveranstaltung Samstag, 14.02.2026 Welcome Weeks für Erstsemester 06. bis 24.10.2025 vorlesungsfreie Zeit - Weihnacht
Sommersemester 2025 Beginn der Lehrveranstaltung Montag, 14.04.2025 Ende der Lehrveranstaltung Samstag, 19.07.2025 Welcome Weeks für Erstsemester 07. bis 11.04.2025 vorlesungsfreie Zeit - Exkursionswo
Wintersemester 2024/25 Beginn der Lehrveranstaltung Montag, 21.10.2024 Ende der Lehrveranstaltung Samstag, 08.02.2025 Welcome Weeks für Erstsemester 30.09. bis 18.10.2024 vorlesungsfreie Zeit - Weihna
Sommersemester 2024 Beginn der Lehrveranstaltung Montag, 08.04.2024 Ende der Lehrveranstaltung Samstag, 13.07.2024 Welcome Weeks für Erstsemester 03. bis 05.04.2024 vorlesungsfreie Zeit - Pfingstferie
Rüdiger Ehlers Institute for Software and Systems Engineering - Mitglied des Direktoriums Sprechzeiten Termine können hier gebucht werden. Social Media https://www.linkedin.com/in/r%C3%BCdiger-ehlers-12a242163/ […] International Conference on Computer Aided Verification (CAV 2010) Rüdiger Ehlers: Minimising Deterministic Büchi Automata Precisely using SAT Solving . 13th International Conference on Theory and Applications