15 октября 2026 17:00 мск - Языки спецификации алгоритмов, инженерия требований, верификация в области цифровых систем промышленной автоматизации - возможные области использования ИИ - Владимир Зюбин (д.т.н. заведующий лабораторией киберфизических систем Института автоматики и электрометрии СО РАН, заведующий кафедрой компьютерных технологий Новосибирского государственного университета)

Ссылка на подключение обычная на https://kontur.ru/talk - будет опубликована в Telegram в группе @agirussia за 5-10 минут до начала семинара!

О спикере:
https://famous-scientists.ru/dissertation/16957
https://www.system-informatics.ru/author/zyubin