en | de

Automata and Logic

master program

VO2 + PS2  WS 2024/2025  703302 + 703303

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Wednesday11:30 – 13:00
PS Johannes Niederhauser 3M03 Thursday09:00 – 10:30


Time & Place

VO Monday08:30 – 10:00 HSB 9
PS Friday08:30 – 10:00 SR 12

The lecture (VO) starts on October 7, the exercise sessions (PS) on October 11.

Language

The course is taught in English.