Сообщество не верифицировано администрацией ВКонтакте
Видимость
открытое
Популярность:
У сообщества нет огня Прометея
Домен:
mm_ml_school_2022
Описание
24-31 августа в пансионате МГУ "Красновидово" пройдет первая студенческая летняя школа "Машинное обучение, нейронные сети и верификация программ".
В рамках летней школы будет организовано 2 трека: трек по машинному обучению и нейронным сетям и трек по верификации программ.
Участники трека по ML получат необходимые знания, навыки и компетенции для полноценного старта карьеры и научных исследований в области глубинного обучения и нейронных сетей. Программа летней школы рассчитана на охват большого количества самых современных ветвей науки о нейронных сетях, а также предлагает участникам большое количество практики в виде семинарских занятий и лабораторных работ, результаты которых станут хорошим дополнением к резюме каждого из студентов. Приобретенные навыки будут полезны как для ведения собственной научной работы практически в любой естественнонаучной области, так и для развития коммерческих проектов в рамках стартапов или же крупных корпораций.
Участники летней школы, обучающиеся в рамках потока по верификации программ методами искусственного интеллекта, получат необходимые знания, навыки и компетенции для полноценного старта научных исследований и практической деятельности в области применения систем искусственного интеллекта для формальной верификации программного обеспечения. Будет предоставлена необходимая теоретическая база, а также будут показаны практические применения верификации для осознания участниками школы основной задачи верификации. Школа также даст компетенции и в других областях, например, системах распределенного реестра (технологии блокчейн), а также смарт-контрактах: в одном из блоков программы будут рассмотрены ключевые особенности протоколов распределенного реестра с их последующей верификацией. Участникам будет показано несколько методов формальной верификации, которые применяются в зависимости от поставленной задачи, данная школа ставит перед собой цель – развить у обучающихся навыки для верификации в выбранной ими области. Также участники получат необходимые компетенции в функциональном программировании, которые требуются при реализации индустриальных проектов.
Участие, проживание, питание и транспорт для участников летней школы, прошедших конкурсный отбор, бесплатные.
Летняя школа проводится при поддержке фонда "Интеллект"
https://intellect-foundation.ru
