Семинар русскоязычного сообщества AGI

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