News 17.10.2024 Anmeldung zur Prüfung im WiSe 2024/25 22.04.2024 Anmeldung zur Prüfung im SoSe 2024 19.10.2023 Anmeldung zur Prüfung im WiSe 2023/24 20.04.2023 Anmeldung zur Prüfung im SoSe 2023 10.10.2022 Anmeldung zur Prüfung im WiSe 2022/23 25.07.2022 Lehrveranstaltungen des Lehrstuhls SWT im Wintersemester 2022/23 07.05.2021 SWT Webinar Serie 03.05.2021 SWTbahn: Modellbahn-Fortschritt 22.04.2021 Girls’ Day 2021: The Sudoku Challenge 12.04.2021 Neues Bachelor-Modul zum Entwurf reaktiver Systeme 31.03.2021 SWTbahn: Model Railway Progress 28.11.2020 Prof. Lüttgen als Vorstandsmitglied des Fakultätentags Informatik wiedergewählt 02.11.2020 Neues Mastermodul zu Cyber-Physical Systems 01.09.2020 Willkommen Evelyn Fradtschuk und Friederike Günther 15.07.2020 Willkommen Dr. Jin Ro 29.06.2020 Fortgesetzte Förderung durch die DFG 26.07.2019 Erfolgreiche Zusammenarbeit mit der Firma AraCom IT Services AG wird weitergeführt 16.05.2019 Themen für Abschlussarbeiten 08.04.2016 DFG-Förderprojekt "Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik" 08.04.2016 DFG-Förderprojekt "Identifizieren dynamischer Datenstrukturen"