Zum Inhalt
Fakultät für Informatik

Seminar - Principles of Programming Languages

VeranstalterDr. Andrej Dudenhefner
Typ: Seminar
ModulnummerINF-MSc-102
Termine: Online Blockseminar, Termin wird bekanntgegeben
KontaktDr. Andrej Dudenhefner

Beschreibung

In diesem Seminar werden Artikel der Konferenzen "Principles of Programming Languages" (POPL 2025) und "International Conference on Functional Programming" (ICFP 2025) besprochen.
POPL ist eine hochkarätige Konferenz in der Informatik mit Fokus auf fundamentale Prinzipien im Design, der Definition, der Analyse und Implementierung von Programmiersprachen.
ICFP konzentriert sich speziell auf Grundlagen und Anwendung funktionaler Programmiersprachen.
Dieses Seminar richtet sich an Studierende im Masterstudium, die Interesse an Software-Engineering, Logik sowie (funktionalen) Programmiersprachen haben.

Themen

  • Publikationen der jeweiligen Konferenzen

Leistung

  • Benoteter Vortrag (20 Minuten Vortragszeit + 5 Minuten Rückfragen)
  • Schriftliche, benotete Ausarbeitung
  • Teilnahme an den Vorträgen der anderen Teilnehmenden

Die Abschlussnote basiert auf der Qualität des Vortrags und der Ausarbeitung.

Anmeldung

Die Anmeldung erfolgt über das Vorlesungsverzeichnis. Die Anmeldefrist endet am 19.10.2025.

FAQ

  • Muss das gesamte Papier vorgestellt werden?
    • Nein. Eine Kompetenz des Seminars ist die passende Auswahl der relevanten Materie für die gegebene Vortragslänge.
  • Muss es einen Eigenanteil geben?
    • Ja. Es muss deutlich werden, dass mit der Materie interagiert wurde.
      Am effektivsten sind eigene Beispiele, die nicht im Originalwerk enthalten sind.
  • ​​​​​​Müssen noch andere Papiere eingebunden werden?
    • Ja. Der vorgestellte Inhalt soll kurz in den wissenschaftlichen Kontext eingeordnet werden.
      Oftmals reicht dazu die im Originalwerk referenzierte Literatur.
  • Dürfen nach der Abgabe des Folienentwurfs noch kleine Änderungen gemacht werden?
    • Ja. Für die Benotung zählt die Version, die beim Vortrag verwendet wird.
  • Muss jeder Codeschnipsel einzeln referenziert werden?
    • Nein. Es muss insgesamt deutlich werden, wenn fremder Code gezeigt wird.
      Wenn viel Code aus dem Originalwerk stammt, dann reicht es aus, am Anfang des Vortrags dies aufzuzeigen.
  • Muss man den Code aus dem Papier nachimplementieren?
    • Es muss deutlich werden, dass mit dem Code interagiert wurde.
      Dafür eignet sich beispielweise eine Nachimplementierung mit eigenen Beispielen.
  • Gilt bei allen Vorträgen Anwesenheitspflicht?
    • Ja.