Секретарь семинара: к.ф.-м.н. Шилов Николай Вячеславович
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Ссылка на подключение: https://telemost.yandex.ru/j/28529522210499
По традиции новосибирские участники семинара приглашаются в к. 239 ИСИ СО РАН.
Формальное моделирование различных архитектур графических конвейеров в SPIN
Сергей Михайлович Старолетов (Институт Автоматики и Электрометрии, АлтГУ)