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