Po	16:30 - 19:30	 (4 v.hod.) 	M-VII	Kurz	2-AIN-185	Formálne metódy tvorby softvéru	D. Gruska
St	15:40 - 18:40	 (4 v.hod.) 	C	Kurz	2-AIN-150	Vývoj natívnych aplikácií pre Cloud	Ľ. Šešera
Št	11:30 - 14:30	 (4 v.hod.) 	C	Kurz	2-AIN-149	Techniky softvérovej analýzy	Ľ. Šešera