Allgemeine Informationen

Veranstaltungsname	Kurs: 03-IMAT-TRS Theorie reaktiver Systeme
Untertitel
Veranstaltungsnummer	03-IMAT-TRS
Semester	SoSe 2026
Aktuelle Anzahl der Teilnehmenden	54
Heimat-Einrichtung	Informatik
Veranstaltungstyp	Kurs in der Kategorie Lehre
Nächster Termin	Donnerstag, 16.04.2026 14:00 - 16:00, Ort: MZH 5600
Art/Form
Englischsprachige Veranstaltung	Nein
ECTS-Punkte	6

Lehrende

Wen-Ling Huang

Räume und Zeiten

MZH 5600: Donnerstag: 14:00 - 16:00, wöchentlich (13x); Donnerstag: 16:00 - 18:00, wöchentlich (13x)

Modulzuordnungen

Universität Bremen
- Informatik - Informatik (BPO 2020), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-BA-IBGS-FW - General Studies - Freie Wahl (gültig ab WiSe 2020/2021)
      - Freie Wahl
- Artificial Intelligence and Intelligent Systems - Artificial Intelligence and Intelligent Systems (MPO 2024), 1. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-AI-S-FC - Free Choice (gültig ab WiSe 2024/2025)
      - Modulprüfung
- Informatik - Informatik - Schwerpunkt Visual und Medical Computing (MPO 2020), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik - Informatik - Schwerpunkt Digital Media and Interaction (MPO 2020), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik - Informatik - Schwerpunkt Artificial Intelligence (MPO 2020), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Artificial Intelligence (AI) - Wahlpflicht
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
- Informatik - Informatik - Schwerpunkt Sicherheit und Qualität (MPO 2020), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Sicherheit und Qualität (SQ) - Wahlpflicht
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Informatik - Informatik - ohne Schwerpunkt (MPO 2020), 4. Version gültig ab SoSe 2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Aufbau
    - 03-INF-MA-IMA - Aufbau Informatik (ohne Schwerpunkt) (gültig ab WiSe 2023/2024)
      - Aufbau Informatik 1
      - Aufbau Informatik 2
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
  - Vertiefung - Pflicht
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Vertiefung - Wahlpflicht
    - 03-INF-MA-IMVT - Vertiefung Theoretische Informatik (gültig ab SoSe 2025)
      - Vertiefung Theoretische Informatik
- Industrial Mathematics and Data Analysis - Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Data Analysis, 5. Version gültig ab SoSe 2026
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Mathematics - Mathematics with Application Subject (MPO 2022), 5. Version WiSe 2025/2026 - SoSe 2027
  - Application Subject - Computer Science - Compulsory Elective Modules
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab 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, 5. Version gültig ab SoSe 2026
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Systems Engineering I - Systems Engineering I (MPO 2021), 2. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)
- Systems Engineering II - Systems Engineering II (MPO 2021), 3. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)

Kommentar/Beschreibung

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

Anmeldemodus

Die Auswahl der Teilnehmenden wird nach der Eintragung manuell vorgenommen.

Nutzer/-innen, die sich für diese Veranstaltung eintragen möchten, erhalten nähere Hinweise und können sich dann noch gegen eine Teilnahme entscheiden.

Kurs: 03-IMAT-TRS Theorie reaktiver Systeme - Details