Po	9:00 - 12:00	 (4 v.hod.) 	 	Kurz	2-AIN-266	Deklaratívne programovanie	J. Komara
St	9:00 - 9:45	 (1 v.hod.) 	 	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara
St	11:30 - 12:15	 (1 v.hod.) 	 	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara
St	14:00 - 14:45	 (1 v.hod.) 	 	Labák	1-AIN-188	Matematika (2) - Matematická analýza	J. Komara
Št	8:10 - 9:40	 (2 v.hod.) 	 	Prednáška	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
Št	9:50 - 11:20	 (2 v.hod.) 	 	Cvičenie	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara