Examination information of the Automata and Logic group

Written examinations

summer term 2026

Logik und LogikprogrammierungFreitag, 07.08.2026, 13:00 -15:30 Uhr, Sr HU 129
Automaten und Formale SprachenFreitag, 25.09.2026, 10:30 - 12:00 Uhr, Sr HU 129

Oral examinations

summer semester 2026

Automatentheorie, Berechenbarkeit und Komplexität, Logik in der Informatik18.08. - 21.08.2026
all other oral exams29.09. - 30.09.2026
 

Please note the following information regarding appointment scheduling.