Ut	8:10 - 9:40	 (2 v.hod.) 	M-IV	Prednáška	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
Ut	11:30 - 13:00	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
St	9:00 - 9:45	 (1 v.hod.) 	I-9	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara
St	11:30 - 12:15	 (1 v.hod.) 	I-9	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara
St	12:20 - 13:05	 (1 v.hod.) 	I-9	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara