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