Курс Антона Трунова "Введение в формальную верификацию программ" начнется 11 марта и будет проходить по четвергам в 18:30. В рамках курса будут рассмотрены техники и инструменты формальной верификации программ, а также система интерактивного доказательства теорем Coq и ее применение к верификации функциональных алгоритмов. Участие в лекциях бесплатно и открыто для всех.
# Программирование
В юбилейном выпуске подкаста Podlodka гость Виталий Брагилевский рассказывает о том, как учить языки программирования. Обсуждаются вопросы зачем и какие языки учить, а также как прокачивать свои профессиональные навыки. Также в выпуске анонсируется новый сезон Podlodka Android Crew с приятной скидкой по промокоду PODLODKA. Ссылки на сайт, Soundcloud, iTunes и Я.Музыку, а также на поддержку подкаста через Patreon.