General information

Course name	Exercises: Übung zu Formale Methoden im Software Engineering
Course number	INF-0130
Semester	SS 2022
Current number of participants	0
Home institute	Softwaretechnik
Courses type	Exercises in category Teaching
First date	Fri., 29.04.2022 10:00 - 13:45, Room: (3017N)
Online/Digitale Veranstaltung	Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache	deutsch

Lecturers

Course location / Course dates

(3017N)

Friday: 10:00 - 13:45, weekly (14x)
Friday: 14:00 - 17:15, weekly (14x)

Fields of study

Fakultät für Angewandte Informatik > Informatik

Module assignments

Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 8. Version gültig bis SS 2022 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Medizinische Informatik M.Sc. Medizinische Informatik, 3. Version > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2011, 15. Version gültig bis SS 2022 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen. > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 8. Version gültig bis SS 2022 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 14. Version gültig bis SS 2022 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Informationswirtschaft M.Sc. Informatik und Informationswirtschaft, PO 2011, 16. Version > M.Sc. Informatik und Informationswirtschaft (PO '11), Vertiefungsbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 14. Version gültig bis SS 2022 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 12. Version > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 12. Version > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 9. Version > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2017, 12. Version > M.Sc. Informatik (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2017, 11. Version gültig bis SS 2022 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 15. Version > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2011, 15. Version gültig bis SS 2022 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 12. Version > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 9. Version > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 9. Version > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 8. Version gültig bis SS 2022 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2011, 14. Version > M.Sc. Informatik und Multimedia (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 11. Version gültig bis SS 2022 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 15. Version > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2011, 14. Version > M.Sc. Informatik und Multimedia (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2011, 16. Version > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Mathematik Masterstudiengang Mathematik PO 2013, 15. Version > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2017, 12. Version > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 9. Version > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 8. Version gültig bis SS 2022 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 11. Version gültig bis SS 2022 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Medizinische Informatik M.Sc. Medizinische Informatik, 3. Version > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Mathematik Masterstudiengang Mathematik PO 2013, 14. Version gültig bis SS 2022 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 9. Version > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 8. Version gültig bis SS 2022 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 11. Version gültig bis SS 2022 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Medizinische Informatik M.Sc. Medizinische Informatik, 2. Version gültig bis SS 2022 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2017, 11. Version gültig bis SS 2022 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 11. Version gültig bis SS 2022 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2011, 16. Version > M.Sc. Informatik (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen. > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 9. Version > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Medizinische Informatik M.Sc. Medizinische Informatik, 2. Version gültig bis SS 2022 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik und Informationswirtschaft M.Sc. Informatik und Informationswirtschaft, PO 2011, 16. Version > M.Sc. Informatik und Informationswirtschaft (PO '11), Vertiefungsbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Informatik M.Sc. Informatik, PO 2018, 8. Version gültig bis SS 2022 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 12. Version > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Ãœbung)
Geoinformatik Master Geoinformatik, 4. Version > MScGI_Module > INF-0229 (=MScGI_SE) - Software Engineering (fÃ¼r M.Sc. Geoinformatik) > Vorlesung mit Ãœbung aus dem Bereich Software Engineering
Geoinformatik Master Geoinformatik, 3. Version gültig bis SS 2022 > MScGI_Module > INF-0229 (=MScGI_SE) - Software Engineering (fÃ¼r M.Sc. Geoinformatik) > Vorlesung mit Ãœbung aus dem Bereich Software Engineering

Comment/Description

Die Übung ist aufgeteilt in 2 Gruppen: Die erste Gruppe kann von 9:00 bis 12:00 Uhr den Praktikumsraum nutzen, die zweite Gruppe von 13:00 - 16:00 Uhr.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

The following rules apply for the admission:

The admission is locked.