Летняя онлайн-школа "Дискретные методы синтеза и верификации для киберфизических систем"
МНЦ "Компьютерные технологии" приглашает принять участие в летней онлайн-школе "Дискретные методы синтеза и верификации для киберфизических систем", которая пройдет на базе Орбразовательного центра "Сириус" с 17-21 августа.
Преподавателями курса будут сотрудники лаборатории "Дискретной оптимизации и формальных методов", входящей в структуру МНЦ "Компьютерные технологии".
Для кого данная программа будет интересна: студентов старших курсов бакалавриата, магистратуры и аспирантов, знакомых с основами дискретной математики и обладающих навыками программирования на Python.
Для участия в программе необходимо: до 23 июля пройти регистрацию на сайте Образовательного центра "Сириус" (https://sochisirius.ru/obuchenie/graduates/smena686/3310), прикрепить к заявке мотивационное письмо, резюме и тестовые задания.