В объединенном диссертационном совете Д 999.082.03 на базе ИСИ СО РАН, ИМ СО РАН и ИВМиМГ СО РАН к предварительному рассмотрению принята кандидатская диссертация Дмитрия Александровича Кондратьева (м.н.с. ИСИ СО РАН) на тему "Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями".
Чтобы познакомить коллег из ИМ и ИВМиМГ с содержанием работы, в понедельник 11 июля в 14:00 в онлайн-режиме пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ. Приглашаем всех желающих.
Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.