Wintersemester 2026/2027

Lehre im Fachgebiet AL im Wintersemester 2026/2027

• Automaten und formale Sprachen (AFS)
• Automatische Strukturen (AS)
• Logik und Logikprogrammierung (LuLP)
• Verification (Ver)