Официальный канал ИСИ СО РАН

В четверг, 12 ноября  в 10:00 в каб. 254 ИСИ СО РАН состоится очередное заседание Методологического семинара (руководитель Крайнева И.А, д.и.н., в.н.с. лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН), совмещенное с Семинаром «Интеллектуальные системы и системное программирование» (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.).   Докладчик: Иван Юрьевич Бондаренко, доцент, старший преподаватель, научный сотрудник Лаборатории прикладных цифровых технологий ММЦ НГУ. Тема доклада: О применимости малых нейросетевых моделей языка и о необходимос…

Во вторник 10 ноября 2026 г. состоится семинар «Теоретическое и экспериментальное программирование» (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).   Время проведения: 17:30-19:00 НСК (13:30-15:00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке https://telemost.yandex.ru/j/28529522210499   Докладчик: Александр Юрьевич Орёл (ПАО "МТС", Ведущий инженер ядра пакетной сети LTE). Тема: Верификация действий ИИ-агента в телекоммуникационных сетях на основе абстракции метрик маршрутизаци…

Стартовал приём заявок на 19-й грантовый конкурс Президентского фонда культурных инициатив 27 октября Президентский фонд культурных инициатив объявил о начале нового конкурсного отбора. Подать заявку можно до 7 декабря 2026 года включительно. Проекты победителей смогут стартовать с июня 2027 года. К участию приглашаются некоммерческие и коммерческие организации, муниципальные учреждения и предприятия, а также индивидуальные предприниматели. 💡🔬Отдельно отметим возможности для научного и технологического сообщества. Фонд поддерживает инициативы на стыке науки, технологий и культуры: популяри…

Пост без текста

Пост без текста

Пост без текста

Пост без текста

Поздравление от руководства СО РАН Уважаемые коллеги, сограждане! От лица руководства и коллектива Сибирского отделения РАН поздравляем вас с Днем народного единства! Быть вместе, действовать сообща, конструктивно разрешать противоречия — всё это абсолютно необходимо для нашей многонациональной, многоконфессиональной и социально неоднородной страны. В сегодняшних условиях экономической, политической и военной турбулентности нам особо важно, по Аристотелю, оставаться «единством непохожих». Научное и студенческое сообщества, профессура и инженерный корпус страны показывают достойные примеры…

14-18 декабря 2026 г. состоится VeHa-2026 — IV Контест российский Verification Hackathon (соревнование по формальной верификации программ). Мероприятие будет проводиться в гибридном формате на базе Механико-математического факультета НГУ.   Одним из главных организаторов соревнования VeHa-2026 является ИСИ СО РАН.   На VeHa IV будут задачи по верификации моделей (Model Checking) от академического сообщества и несколько задач на дедуктивную верификацию как от академического сообщества, так и индустрии. С приглашенной лекцией "Семь смертных грехов вайбкодера" выступит Егор Бугаенко, выступавший…

Во вторник 3 ноября 2026 г. состоится семинар «Теоретическое и экспериментальное программирование» (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.)   Время проведения: 17:30-19:00 НСК (13:30-15:00 МСК) очно в к. 239 ИСИ СО РАН (г. Новосибирск, пр-т Академика Лаврентьева, 6) и онлайн по ссылке https://telemost.yandex.ru/j/28529522210499   Докладчик: Владислав Александрович Перепёлкин (к.т.н., с.н.с. ИВМиМГ СО РАН). Тема: О применении концепции активных знаний к автоматическому констр…