Po 11:30 - 13:00 (2 v.hod.) M-XII Prednáška Deklaratívne programovanie J. Komara
Po 13:10 - 13:55 (1 v.hod.) I-H6 Cvičenie Deklaratívne programovanie J. Komara
Po 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie Úvod do deklaratívneho programovania J. Frtús, J. Kľuka, J. Komara
Po 18:10 - 19:40 (2 v.hod.) I-H6 Cvičenie Deklaratívne programovanie J. Komara
Ut 13:10 - 14:40 (2 v.hod.) M-X Prednáška Špecifikácia a verifikácia programov J. Komara
Ut 14:50 - 16:20 (2 v.hod.) I-H3 Výber/Vol Špecifikácia a verifikácia programov J. Komara
Pi 11:30 - 13:00 (2 v.hod.) M-III Cvičenie Diskrétna matematika (2) J. Komara, M. Kováč