General information

Course name	Lecture: 03-IMVP-PROSY Program Synthesis
Subtitle
Course number	03-IMVP-PROSY
Semester	SoSe 2025
Current number of participants	8
Home institute	Informatik
Courses type	Lecture in category Teaching
First date	Monday, 14.04.2025 10:00 - 12:00, Room: MZH 1450
Type/Form
Englischsprachige Veranstaltung	Ja
ECTS points	6

Lecturers

Rooms and times

MZH 1450: Monday: 10:00 - 12:00, weekly (11x); Thursday: 12:00 - 14:00, weekly (11x)

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-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-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-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Artificial Intelligence (AI) - Pflicht
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Praktische 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-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Sicherheit und Qualität (SQ) - Pflicht
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Praktische 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
  - Vertiefung - Pflicht
    - 03-INF-MA-IMV - Vertiefung Informatik (valid from WiSe 2023/2024)
      - Vertiefung Informatik
    - 03-INF-MA-IMVP. - Vertiefung Praktische Informatik (valid from WiSe 2023/2024)
      - Vertiefung Praktische Informatik
- Mathematics Master Mathematics (Single Major Subject) with Application Subject, 4. Version SoSe 2025
  - Application Subject - Computer Science - Compulsory Elective Modules
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Praktische 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-IMVP-AI - Vertiefung Praktische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Praktische 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-IMVP-AI - Vertiefung Praktische Informatik (AI) (valid from WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (valid from WiSe 2023/2024)
      - Vertiefung Praktische Informatik (SQ)
- Master Systems Engineering II MA Studiengang Systems Engineering II, 3. Version valid from SoSe 2024
  - Vertiefungsmodule - Vertiefung
    - 04-PT-MA-M07-VT-ESS - Modul Vertiefung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (valid from WiSe 2021/2022)
      - Lehrveranstaltung im Umfang von 6 CP für das Modul Vertiefung (ESS)
- Master Systems Engineering I MA Studiengang Systems Engineering I, 2. Version valid from SoSe 2024
  - Vertiefungsmodule - Vertiefung
    - 04-PT-MA-M07-VT-ESS - Modul Vertiefung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (valid from WiSe 2021/2022)
      - Lehrveranstaltung im Umfang von 6 CP für das Modul Vertiefung (ESS)

Comment/Description

https://lvb.informatik.uni-bremen.de/imvp/03-imvp-prosy.pdf
Schwerpunkt: IMVP-SQ

Registration mode

After enrolment, participants will manually be selected.

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

Lecture: 03-IMVP-PROSY Program Synthesis - Details