St 11:30 - 13:00 (2 v.hod.) F1-109 Kurz Formálne metódy tvorby softvéru D. Gruska
St 11:30 - 13:00 (2 v.hod.) F1-109 Kurz Modely konkurentných systémov D. Gruska
St 15:40 - 17:10 (2 v.hod.) F1-109 Kurz Formálne metódy tvorby softvéru D. Gruska
St 15:40 - 17:10 (2 v.hod.) F1-109 Kurz Modely konkurentných systémov D. Gruska
Št 13:10 - 16:10 (4 v.hod.) B Prednáška Programovanie paralelných a distribuovaných systémov D. Gruska