en | de

Automata and Logic

master program

VO2 + PS2  WS 2023/2024  703302 + 703303

News

solutions 2nd exam
The solutions of the 2nd exam are available.
registration required
Online registration for the 2nd exam on February 23 (9:00 – 10:45 in HSB 3) is required until 23:59 on February 9.
solutions 1st exam
The solutions of the 1st exam are available.
room
The lecture (VO) will take place in HSB 6 (and not in HS D as announced earlier).
news
Check this site regularly for announcements; visit the content page to access the slides and homework exercises.