en | de

Automata and Logic

master program

VO2 + PS2  WS 2023/2024  703302 + 703303

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Thursday08:30 – 10:00
PS Christina Kirk 3M03 Thursday09:00 – 10:30


Time & Place

VO Monday08:15 – 10:00 HSB 6
PS Friday08:15 – 10:00 SR 12

The lecture (VO) starts on October 2, the exercise sessions (PS) on October 6.

Language

The course is taught in English.

OLAT Links