General information

Course name	Kurs: 03-IMAT-TRS Theory of Reactive Systems
Subtitle
Course number	03-IMAT-TRS
Semester	SoSe 2025
Current number of participants	31
Home institute	Informatik
Courses type	Kurs in category Teaching
First date	Wednesday, 09.04.2025 08:00 - 10:00, Room: MZH 1470
Type/Form
Englischsprachige Veranstaltung	Nein
ECTS points	6

Lecturers

Wen-Ling Huang

Rooms and times

MZH 1470: Wednesday: 08:00 - 10:00, weekly (14x)
MZH 1450: Thursday: 08:00 - 10:00, weekly (12x)

Module assignments

Universität Bremen
- Informatik - Informatik (Bachelor), 3. Version valid from WiSe 2024/2025
  - General Studies
    - 03-INF-BA-IBGS-FW - General Studies - Freie Wahl (valid from WiSe 2020/2021)
      - Freie Wahl
- Informatik - Informatik (Master) mit Schwerpunkt VMC, 3. Version valid from WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (valid from WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (valid from WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik - Informatik (Master) mit Schwerpunkt DMI, 3. Version valid from WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (valid from WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (valid from WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik - Informatik (Master) mit Schwerpunkt AI, 3. Version valid from WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (valid from WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (valid from WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Artificial Intelligence (AI) - Wahlpflicht
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
- Informatik - Informatik (Master) mit Schwerpunkt SQ, 3. Version valid from WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (valid from WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (valid from WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Sicherheit und Qualität (SQ) - Wahlpflicht
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Informatik - Informatik (Master) ohne Schwerpunkt, 4. Version valid from SoSe 2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (valid from WiSe 2024/2025)
      - General Studies
  - Aufbau
    - 03-INF-MA-IMA - Aufbau Informatik (ohne Schwerpunkt) (valid from WiSe 2023/2024)
      - Aufbau Informatik 1
      - Aufbau Informatik 2
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (valid from WiSe 2023/2024)
      - Aufbau Theoretische Informatik
  - Vertiefung - Pflicht
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
  - Vertiefung - Wahlpflicht
    - 03-INF-MA-IMVT - Vertiefung Theoretische Informatik (valid from SoSe 2025)
      - Vertiefung Theoretische Informatik
- Mathematics - Master Mathematics (Single Major Subject) with Application Subject, 4. Version SoSe 2025
  - Application Subject - Computer Science - Compulsory Elective Modules
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Industrial Mathematics and Data Analysis - Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Data Analysis, 4. Version valid from SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Industrial Mathematics and Data Analysis - Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Industrial Mathematics, 4. Version valid from SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Systems Engineering I - MA Studiengang Systems Engineering I, 2. Version valid from SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (valid from WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)
- Systems Engineering II - MA Studiengang Systems Engineering II, 3. Version valid from SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (valid from WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)

Comment/Description

Profil: SQ, KIKR.
Schwerpunkt: IMVT-SQ, IMVT-AI
https://lvb.informatik.uni-bremen.de/imat/03-imat-trs.pdf

Registration mode

After enrolment, participants will manually be selected.

Potential participants are given additional information before enroling to the course.

Kurs: 03-IMAT-TRS Theory of Reactive Systems - Details