Exercises: Semantik von Programmiersprachen (Übung) - Details

General information

Course name	Exercises: Semantik von Programmiersprachen (Übung)
Semester	WiSe 2025/26
Current number of participants	10
Home institute	Leitung des Instituts für Informatik
participating institutes	Praktische Informatik (Softwareengineering)
Courses type	Exercises in category Offizielle Lehrveranstaltungen
Next date	Monday, 12.01.2026 10:15 - 11:45, Room: Seminarraum 2.25 [VSP 1] (Informatik)
Lehrsprache(n)	Deutsch
Studiengänge (für)	Informatik (Diplom) Bioinformatik (Diplom) Informatik (Master)
SWS	2
Miscellanea	http://swt.informatik.uni-halle.de//lehre/2009ws/semantik-von-programmiersprachen/

Lehrende

• Prof. Dr. Wolf Zimmermann
• Dr. Mandy Weißbach

Rooms and times

Seminarraum 2.25 [VSP 1] (Informatik)

Monday: 10:15 - 11:45, weekly (11x)

No room preference

Monday: 10:15 - 11:45, weekly(1x)

Fields of study

• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Master

Module assignments

• Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > II. Informatik > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2009/10 - SS 2016) > Softwaretechnik und Programmiersprachen > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung valid from SoSe 2023 > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung valid from SoSe 2023 > Softwaretechnik und Übersetzerbau (Anteil gem. § 5 Abs. 4-6, Anlage 2) > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung valid from SoSe 2023 > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > Informatik (W) > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Mathematik MathematikMA120, Akkreditierungsfassung (WS 2013/14 - SoSe 2023) > Anwendungsfach Informatik > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Mathematik MathematikMA120, Akkreditierungsfassung valid from WS 2022/23 > Anwendungsfach Informatik (20 LP sind zu erbringen) > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Softwaretechnik und Übersetzerbau > INF.01110.08 - Semantik von Programmiersprachen, valid from WS 2006/07 > LV 2: Übung (Übung)