Языки спецификации, инженерия требований, верификация: возможности ИИ - Владимир Зюбин - Семинар AGI

Языки спецификации алгоритмов, инженерия требований, верфикация в области цифровых систем промышленной автоматизации: возможные области использования ИИ - Владимир Зюбин (д.т.н. заведующий лабораторией киберфизических систем Института автоматики и электрометрии СО РАН, заведующий кафедрой компьютерных технологий Новосибирского государственного университета) Семинар русскоязычного сообщества AGI 15 октября 2026 https://famous-scientists.ru/dissertation/16957 https://www.system-informatics.ru/author/zyubin --- Смотрим видео в ВК https://vk.com/video/@agirussia на RUTUBE https://rutube.ru/channel/24279932/ на YouTube https://www.youtube.com/siberai и в Telegram https://t.me/agitopics/53344/53347 Мы ведем группы и организуем семинары русскоязычного сообщества разработчиков систем AGI (Artificial General Intelligence или Общий Искусственный Интеллект) или Strong AI (Сильный Искусственный Интеллект), а также - являющийся их частным случаем HLAI (Human-Level Artificial Intelligence или Искусственный Интеллект Человеческого Уровня). https://agirussia.org/ Группы: https://t.me/agirussianews (новостной канал) https://t.me/agirussia (основная) https://t.me/agitopics (различные темы по группам) https://t.me/agibots (разговорный интеллект) https://t.me/agifintech (финансовые технологии) https://t.me/collectivei (коллективный интеллект) https://vk.com/agirussia (основная) https://www.facebook.com/groups/agirussia (основная) https://www.facebook.com/groups/socialintelligence (коллективный интеллект) https://groups.google.com/g/agirussia (рассылка) Онлайн-семинары идут по средам или четвергам, в 17:00 или 18:00 по Московскому времени. Продолжительность два часа, обычно это либо доклад на один-полтора часа и последующее обсуждение на полчаса-час либо круглый стол с регламентом на усмотрение модератора дискуссии. Технические средства проведения, регламент и модерацию обычно обеспечивает инициатор конкретного семинара либо спикер и его коллеги. Регистрация на семинары (внизу страницы): https://aigents.timepad.ru/event/1412596