Po	11:30 - 13:45	 (3 v.hod.) 	M-VIII	Prednáška	2-INF-187	Úvod do teórie programovania	I. Prívara
Ut	9:00 - 12:00	 (4 v.hod.) 	M-VIII	Prednáška	2-INF-127	Formálne špecifikácie	I. Prívara