Ut 11:30 - 13:00 (2 v.hod.) M-VII Prednáška Techniky a implementácie deklaratívnych programovacích jazykov J. Komara
Ut 13:10 - 14:40 (2 v.hod.) I-H3 Výber/Vol Techniky a implementácie deklaratívnych programovacích jazykov J. Komara
Ut 16:30 - 18:00 (2 v.hod.) M-VI Prednáška Špecifikácia a verifikácia programov J. Komara
St 9:50 - 11:20 (2 v.hod.) I-H3 Prednáška Teória deklaratívneho programovania J. Komara
St 11:30 - 13:00 (2 v.hod.) F1-248 Výber/Vol Špecifikácia a verifikácia programov J. Komara
St 11:30 - 13:00 (2 v.hod.) F1-248 Cvičenie Teória deklaratívneho programovania J. Komara