Po	13:10 - 13:55	 (1 v.hod.) 	I-9	Seminár		Seminár	D. Gruska
Po	16:30 - 19:30	 (4 v.hod.) 	M-VII	Kurz	2-AIN-185	Formálne metódy tvorby softvéru	D. Gruska
Po	16:30 - 19:30	 (4 v.hod.) 	M-VII	Kurz	2-INF-126	Modely konkurentných systémov	D. Gruska
Št	14:50 - 17:50	 (4 v.hod.) 	C	Prednáška	2-AIN-109	Programovanie paralelných a distribuovaných systémov	D. Gruska