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