Ut	10:40 - 12:55	 (3 v.hod.) 	M-213	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara
St	9:50 - 11:20	 (2 v.hod.) 	M-213	Seminár	3-MAMmu-017	Teoretické základy informatiky	P. Ďuriš
Št	9:50 - 11:20	 (2 v.hod.) 	M-213	Seminár	2-MAT-602	Seminár z teórie grafov (1)	M. Škoviera
Pi	10:40 - 12:10	 (2 v.hod.) 	M-213	Seminár	3-INF-601	Seminár pracoviska	R. Královič