Sommersemester 2024

Vertiefende Veranstaltungen

• Praktische Semantik von Programmiersprachen (SemProg)
• Nominal Sets
• Automaten über unendlichen Wörtern (Seminar)
• Oberseminar
• Introduction to Dependently Typed Programming

Grundlagenveranstaltungen

• Theorie der Programmierung (ThProg)
• Theoretische Informatik für Wirtschaftsinformatik und Lehramt
• Zusatzübung zu Grundlagen der Logik in der Informatik