Новости

Рассмотрение диссертации Д.А. Кондратьева

Институт систем информатики им. А.П. Ершова СО РАН

В объединенном диссертационном совете Д 999.082.03 на базе ИСИ СО РАН, ИМ СО РАН и ИВМиМГ СО РАН к предварительному рассмотрению принята кандидатская диссертация Дмитрия Александровича Кондратьева (м.н.с. ИСИ СО РАН) на тему "Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями".

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

Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.