10:00-11:40 Системы управления базами данных
12:00-13:40 Теория вероятностей и математическая статистика
12:00-13:40 Теория вероятностей и статистик
14:00-15:40 Верификация и тестирование программного обеспечения
16:00-17:40 Архитектура программных систем