Po	8:10 - 9:40	 (2 v.hod.) 	M-XI	Prednáška	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
Po	11:30 - 13:00	 (2 v.hod.) 	F2-T3	Cvičenie	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
Ut	13:10 - 13:55	 (1 v.hod.) 	M-X	Labák	1-AIN-188	Matematická analýza	J. Komara
Ut	14:00 - 14:45	 (1 v.hod.) 	M-X	Labák	1-AIN-188	Matematická analýza	J. Komara
Ut	14:50 - 15:35	 (1 v.hod.) 	M-X	Labák	1-AIN-188	Matematická analýza	J. Komara
Ut	15:40 - 16:25	 (1 v.hod.) 	M-X	Labák	1-AIN-188	Matematická analýza	J. Komara
Št	8:10 - 9:40	 (2 v.hod.) 	M-XII	Cvičenie	1-AIN-160	Diskrétna matematika (2)	J. Komara
Št	11:30 - 13:00	 (2 v.hod.) 	M-VIII	Cvičenie	1-AIN-160	Diskrétna matematika (2)	J. Komara