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