Курс Антона Трунова "Введение в формальную верификацию программ" начнется 11 марта и будет проходить по четвергам в 18:30. В рамках курса будут рассмотрены техники и инструменты формальной верификации программ, а также система интерактивного доказательства теорем Coq и ее применение к верификации функциональных алгоритмов. Участие в лекциях бесплатно и открыто для всех.