Po	9:00 - 12:00	 (4 v.hod.) 	M-V	Kurz	2-INF-187	Úvod do teórie programovania	I. Prívara
Ut	12:20 - 15:20	 (4 v.hod.) 	M-213	Prednáška	2-INF-127	Formálne špecifikácie	I. Prívara