Po	9:50 - 11:20	 (2 v.hod.) 	I-8	Seminár		Seminár	(DyMAX Status) M. Homola, J. Kľuka, P. Anthony, Z. Adams, M. Onoja
Po	11:30 - 13:00	 (2 v.hod.) 	B	Kurz	1-INF-210	Úvod do matematickej logiky	J. Mazák, J. Kľuka
Po	11:30 - 13:00	 (2 v.hod.) 	B	Prednáška	1-AIN-412	Logika pre informatikov	J. Mazák, J. Kľuka
Ut	12:20 - 13:05	 (1 v.hod.) 	I-8	Seminár		Seminár	(KR Group meeting) M. Homola, J. Kľuka, J. Pukancová, I. Bečková, P. Anthony, Z. Adams, E. Štefancová, J. Boborová, M. Onoja
Ut	16:30 - 18:00	 (2 v.hod.) 	I-H3	Cvičenie	1-AIN-412	Logika pre informatikov	J. Kľuka
St	12:20 - 13:05	 (1 v.hod.) 	I-9	Nezadaný typ	1-AIN-412	Logika pre informatikov	(konzultácia) I. Bečková, J. Boborová, J. Kľuka
St	13:10 - 14:40	 (2 v.hod.) 	I-H6	Labák	1-AIN-412	Logika pre informatikov	J. Kľuka, J. Šiška