В следующий четверг 11 марта начнётся курс Антона Трунова (Zilliqa Research) "Введение в формальную верификацию программ".
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/

Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.