Po	9:00 - 11:15	 (3 v.hod.) 	M-213	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara
Po	11:30 - 13:00	 (2 v.hod.) 	M-213	Prednáška	3-INF-001	Teoretické základy informatiky	R. Královič
Ut	17:20 - 18:50	 (2 v.hod.) 	M-213	Seminár	3-INF-601	Seminár pracoviska	D. Olejár
Š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č