23 сентября 2020 года в 15.00 состоится заседание объединенного диссертационного совета Д 999.082.03.
Повестка дня:
- Защита диссертации Аркашова Николая Сергеевича «Анализ структурных данных аномальных процессов переноса» на соискание ученой степени доктора физико-математических наук по специальности 05.13.17 – Теоретические основы информатики.
- Прием к предварительному рассмотрению диссертации Мордвинова Дмитрия Александровича «Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Заседание совета будет проходить в дистанционном режиме. Желающие принять участие в работе совета в интерактивном режиме, могут направлять сканы заявлений в адрес совета: lora@iis.nsk.su.
Трансляция заседания совета будет организована на Youtube-канале ИСИ СО РАН. Онлайн-зрители смогут задавать вопросы в чате трансляции.