Летняя студенческая школа механико-математического факультета "Машинное обучение и верификация программ"

24-31 августа в пансионате МГУ "Красновидово" пройдет первая студенческая летняя школа "Машинное обучение, нейронные сети и верификация программ".
 
В рамках летней школы будет организовано 2 трека: трек по машинному обучению и нейронным сетям и трек по верификации программ.
 
Участники трека по машинному обучению получат необходимые знания, навыки и компетенции для полноценного старта карьеры и научных исследований в области глубинного обучения и нейронных сетей. Программа летней школы рассчитана на охват большого количества самых современных ветвей науки о нейронных сетях, а также предлагает участникам большое количество практики в виде семинарских занятий и лабораторных работ, результаты которых станут хорошим дополнением к резюме каждого из студентов. Приобретенные навыки будут полезны как для ведения собственной научной работы практически в любой естественнонаучной области, так и для развития коммерческих проектов в рамках стартапов или же крупных корпораций.
 
Участники летней школы, обучающиеся в рамках потока по верификации программ методами искусственного интеллекта, получат необходимые знания, навыки и компетенции для полноценного старта научных исследований и практической деятельности в области применения систем искусственного интеллекта для формальной верификации программного обеспечения. Будет предоставлена необходимая теоретическая база, а также будут показаны практические применения верификации для осознания участниками школы основной задачи верификации. Школа также даст компетенции и в других областях, например, системах распределенного реестра (технологии блокчейн), а также смарт-контрактах: в одном из блоков программы будут рассмотрены ключевые особенности протоколов распределенного реестра с их последующей верификацией. Участникам будет показано несколько методов формальной верификации, которые применяются в зависимости от поставленной задачи, данная школа ставит перед собой цель – развить у обучающихся навыки для верификации в выбранной ими области. Также участники получат необходимые компетенции в функциональном программировании, которые требуются при реализации индустриальных проектов.
 
Участие, проживание, питание и транспорт для участников летней школы, прошедших конкурсный отбор, бесплатные.
 
Руководитель школы - доцент кафедры МаТИС Андрей Михайлович Миронов.
 
Более подробная информация о школе будет размещаться на страничке https://vk.com/mm_ml_school_2022
 
Кандидатам на участие в школе необходимо зарегистрироваться по ссылке https://forms.gle/Me3ZGqfnhLsjet7A7

Летняя школа проводится при поддержке фонда "Интеллект" https://intellect-foundation.ru <https://vk.com/away.php?to=https%3A%2F%2Fintellect-foundation.ru&cc_key=>

Категория: