2024/25 WS

• Einführung in die Logik (Komedia-Bachelor)
• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)

Die jeweils im LSF verlinkten Moodle-Kurse sind bereits zur Selbsteinschreibung geöffnet. Es gibt keine Kurspassworte. Es ist keine Anmeldung/Einschreibung über LSF nötig, auch nicht für die Übungen. Die Selbsteinschreibung in Moodle sollte jeweils spätestens zu Beginn der ersten Woche der Vorlesungszeit erfolgen!

Zurückliegende Veranstaltungen:

2024 SS

• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor + CPS-Master)
• Compilerbau (Informatik-Master + CPS-Master)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2023/24 WS

• Einführung in die Logik (Komedia-Bachelor)
• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)

2023 SS

• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor + CPS-Master)
• Compilerbau (Informatik-Master + CPS-Master)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2022/23 WS

• Einführung in die Logik (Komedia-Bachelor)
• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2022 SS

(Forschungsfreisemester Prof. Voigtländer)

• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor + CPS-Master)

2021/22 WS

• Einführung in die Logik (Komedia-Bachelor)
• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Compilerbau (Informatik-Master + CPS-Master)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2021 SS

• Mathematische Strukturen (Komedia-Bachelor)
• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor)
• Praxisprojekt "Modellgetriebene Webentwicklung mit domänenspezifischen Sprachen" (Komedia-Bachelor)

2020/21 WS

• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Einführung in die Logik (Komedia-Bachelor)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2020 SS

• Mathematische Strukturen (Komedia-Bachelor)
• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor)
• Praxisprojekt "Modellgetriebene Webentwicklung mit domänenspezifischen Sprachen" (Komedia-Bachelor)

2019/20 WS

• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Compilerbau (Informatik-Master)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2019 SS

• Mathematische Strukturen (Komedia-Bachelor)
• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor)
• Praxisprojekt "Webprogrammierung mit Yesod und DSLs" (Informatik-Bachelor + Komedia-Bachelor)

2018/19 WS

• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Compilerbau (Informatik-Master)
• Seminar "Fortgeschrittene Funktionale Programmierung" (Informatik-Bachelor)

2018 SS

• Mathematische Strukturen (Komedia-Bachelor)
• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor)

2017/18 WS

• Modellierung (Informatik-Bachelor + Komedia-Bachelor + ISE-Bachelor)
• Compilerbau (Informatik-Master)

2017 SS

• Mathematische Strukturen (Komedia-Bachelor)
• Programmierparadigmen (Informatik-Bachelor + ISE-Bachelor)

Informationen zu früheren Lehrveranstaltungen an anderen Universitäten finden sich auf einer alten Webseite.