25.03.2021 г. в 15:00 в Объединенном диссертационном совете Д 999.082.03 по защите докторских и кандидатских диссертаций состоится защита диссертации Мордвинова Дмитрия Александровича на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Тема диссертации - "Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями".