en

Летняя онлайн-школа "Дискретные методы синтеза и верификации для киберфизических систем"



Летняя онлайн-школа

МНЦ "Компьютерные технологии" приглашает принять участие в летней онлайн-школе "Дискретные методы синтеза и верификации для киберфизических систем", которая пройдет на базе Орбразовательного центра "Сириус" с 17-21 августа. 

Преподавателями курса будут сотрудники лаборатории "Дискретной оптимизации и формальных методов", входящей в структуру МНЦ "Компьютерные технологии". 

Для кого данная программа будет интересна: студентов старших курсов бакалавриата, магистратуры и аспирантов, знакомых с основами дискретной математики и обладающих навыками программирования на Python.

Для участия в программе необходимо: до 23 июля пройти регистрацию на сайте Образовательного центра "Сириус" (https://sochisirius.ru/obuchenie/graduates/smena686/3310), прикрепить к заявке мотивационное письмо, резюме и тестовые задания.