В рамках школы было организовано 2 трека: по машинному обучению и по верификации программ.
На треке по машинному обучению были изложены знания, навыки и компетенции в области глубинного обучения и нейронных сетей. Его программа была рассчитана на охват большого количества самых современных ветвей науки о нейронных сетях — классические основы глубинного обучения, генеративные модели, NeuralODE, методы автоматического построения нейронных архитектур, и т. п. Участникам было предложено большое количество практики в виде семинарских занятий и лабораторных работ. Обучение на треке завершилось выполнением прикладных проектов по актуальным задачам машинного обучения (обработка текстов на естественном языке, анализ изображений, и другие задачи).
Участникам летней школы, обучавшимся в рамках трека по верификации программ методами искусственного интеллекта, были изложены основные математические модели последовательных и параллельных программ, а также методы спецификации и программ и криптографических протоколов. Было рассказано о методах дедуктивной верификации, процессных моделях параллельных программ и протоколов передачи данных в компьютерных сетях, темпоральной логике и методе model checking. Изучались интеллектуальные системы верификации программ Isabelle и HOL4. Были организованы практические занятия по применению этих систем для верификации программ. Также было изложено введение в протоколы распределенного реестра (технологии блокчейн) и технологию построения смарт-контрактов, с их последующей верификацией.
Учебная программа дополнялась различными культурно-спортивными мероприятиями.
Руководитель школы — доцент кафедры МаТИС мехмата Андрей Михайлович Миронов.