St	13:10 - 16:10	 (4 v.hod.) 	A	Kurz	2-AIN-185	Formálne metódy tvorby softvéru	D. Gruska
St	13:10 - 16:10	 (4 v.hod.) 	A	Kurz	2-INF-126	Modely konkurentných systémov	D. Gruska
Št	13:10 - 16:10	 (4 v.hod.) 	B	Prednáška	2-AIN-109	Programovanie paralelných a distribuovaných systémov	D. Gruska