В четверг 25 марта 2021 г. в 15:00 состоится заседание диссертационного совета Д 999.082.03, где будет рассмотрена диссертация Дмитрия Александровича Мордвинова "Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями" на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Заседание проводится в очно-заочном формате в Zoom. Также будет осуществляться трансляция на канале ИСИ СО РАН в Youtube. Зрители канала могут задавать вопросы в чате.