Расписание с 15 декабря по 21 декабря (чётная неделя)
15 дек., пн
16 дек., вт
10:00-11:40 Верификация распределенных алгоритмов и систем
12:00-13:40 Верификация распределенных алгоритмов и систем
18:00-19:40 Цифровые ресурсы в научном исследовании
17 дек., ср
20 дек., сб