Zielgruppe und Verwendbarkeit
- Studierende im Master-Studiengang Informatik (Ordnung ab WS 2015/16): Veranstaltungsnummer SIW-I-S, verwendbar in den Modulen M-SIW-HSA-S (SIW-Seminar A) und M-SIW-HSB-S (SIW-Seminar B)
- Studierende im Master-Studiengang Wirtschaftsinformatik: verwendbar im Vertiefungsbereich Informatik
Inhalt und Themen
Spezielle Forschungsthemen aus dem Bereich der funktionalen Programmierung. Im Seminar wurden aktuelle Forschungsarbeiten aus den Bereichen der funktionalen Programmierung, der formalen Programmsemantik und der Korrektheit von Übersetzungen behandelt.