en | de

Automata and Logic

master program

VO2 + PS2  WS 2022/2023  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 19.
solutions 1st exam
The solutions of the 1st exam are available.
registration required
Online registration for the PS is required until 23:59 on September 21.
news
Check this site regularly for announcements; visit the content page to access the slides and homework exercises.