![Заседание объединенного диссертационного совета Заседание объединенного диссертационного совета](/files/styles/news/public/news/image/iis_logo_100x100_76.png?itok=SeVqyqSc)
В четверг 25 марта 2021 г. в 15:00 состоится заседание диссертационного совета Д 999.082.03, где будет рассмотрена диссертация Дмитрия Александровича Мордвинова "Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями" на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Заседание проводится в очно-заочном формате в Zoom. Также будет осуществляться трансляция на канале ИСИ СО РАН в Youtube. Зрители канала могут задавать вопросы в чате.