Examination information of the Automata and Logic group

Written examinations

winter term 2025/26

Logik und Logikprogrammierung5.3., 15:30, Humboldt-Hörsaal
Automaten und Formale Sprachen16.3., 11:30, Helmholtz-Hörsaal

Oral examinations

winter term 2025/26

25.2.2026: 3rd attempt Logik und Logikprogrammierung
25/26.3.2026: all other oral exams
 

To schedule an oral exam, please contact Frau Peuker (dana.peuker@tu-ilmenau.de) between 29.1. and 6.2.2026.