en | de

Automata and Logic

master program

VO2 + PS2  WS 2022/2023  703302 + 703303

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Wednesday13:00 – 14:30
PS Christina Kohl 3M03 Wednesday13:30 – 15:00


Time & Place

VO Monday08:15 – 10:00 HS D
PS Friday08:15 – 10:00 SR 12

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

Language

The course is taught in English.

OLAT Links