Po 16:30 - 18:00 (2 v.hod.) B Výber/Vol Modely konkurentných systémov D. Gruska
Po 16:30 - 18:00 (2 v.hod.) B Kurz Formálne metódy tvorby softvéru D. Gruska
Po 18:10 - 19:40 (2 v.hod.) B Kurz Formálne metódy tvorby softvéru D. Gruska
Po 18:10 - 19:40 (2 v.hod.) B Výber/Vol 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