Архив новостей — 2026 г.
Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова.
15 мая 2026 года лекцию прочитает Иван Валерьевич Оселедец, д.ф.-м.н., профессор РАН, генеральный директор Института AIRI, декан факультета искусственного интеллекта МГУ .
Тема: Развитие мультиагентных систем
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3), время - 16:20 15 мая.
Для участия в мероприятиях необходимо зарегистрироваться.
19 апреля 2026 г. исполнилось 95 лет со дня рождения основателя сибирской школы программирования академика Андрея Петровича Ершова(1931–1988).
В ознаменование этой даты Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию.
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3). Начало Ершовских чтений - 14 мая в 10:00.
Приглашаются все желающие. Для участия в мероприятиях требуется регистрация.
Во вторник 12 мая 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Павел Сусленков (студент ММФ НГУ)
Тема: Cемантический анализ интервальных конгруэнтностей.
Доклад посвящён изложению результатов работы Ф. Мадюпюи (1995) по созданию нового метода статического анализа целочисленных переменных программ — семантического анализа интервальных конгруэнтностей. В основе метода лежит аппарат абстрактной интерпретации (Кузо). Автор решает проблему синтеза двух классических, но независимых подходов: интервального анализа (дающего диапазоны значений) и анализа отношений конгруэнтности (дающего периодические свойства вида x≡a(modb)). Предлагаемый единый абстрактный домен интервальных конгруэнтностей (IC) обобщает оба подхода. В докладе вводятся множества CC и IC, функции абстракции и конкретизации, оператор расширения ∇
Поздравляем старшего научного сотрудника лаборатории теории параллельных процессов, к.ф.-м.н. Игоря Валерьевича Тарасюка с 55-летием!
Дорогой Игорь Валерьевич! Желаем, чтобы ваши трудовые будни всегда были легки, насыщенны высокими результатами и проходили в дружеской атмосфере. Больших успехов, шикарных возможностей, отличного настроения и только лучшего в жизни!
Поздравляем с 81-летием Победы в Великой Отечественной войне!
9 Мая - великий праздничный день для нашего народа. Сегодня с нами осталось очень мало людей, которых мы можем лично поблагодарить за этот подвиг. Но наше и будущие поколения продолжат чтить и уважать этот великий день.
Сотрудниками нашего института организована экспозиция "Бессмертный полк". В холле института со стены смотрят на нас лица родных нам ветеранов, молодые и старые, погибшие и пережившие ту войну. Их объединяет одно: они воевали и победили.
12 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Иванович Свириденко, д.ф.-м.н., Исследовательский центр в сфере искусственного интеллекта НГУ
Тема доклада: Задачный инжиниринг – методологический вариант гибридного ИИ
Излагается новая научно-инженерная дисциплина – задачный инжиниринг (Task Engineering), объединяющая на методологическом уровне задачный подход, нейросимвольные методы и агентный ИИ. Дисциплина интегрирует классическую инженерию знаний, нейросимвольные методы и мультиагентные системы. Рассматривается проблема автоматизации процессов перехода от неструктурированных потребностей к 6-компонентной модели задачи и к доверенному решению с помощью гибридной мультиагентной архитектуры. Приводятся примеры применения в быту, образовании, медицине, коммерции, промышленности, науке и инженерии.
Министерство науки и инновационной политики Новосибирской области проводит конкурс женщин-
ученых «Академина-2026»/a.
Прием заявок на участие в конкурсе открыт до 11 мая 2026 г.
Подробные условия участия в конкурсе размещены на официальном сайте «Академина».
В четверг 7 мая 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.).
Начало: 10:00.
Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Василенко Никита Константинович (ИСИ СО РАН)
Тема: Методы оптимизации баз данных с использованием генеративных подходов машинного обучения (кандидатская диссертация)
Докладчик: Коломникова Дарья Юрьевна (НГУ, ММФ)
Тема: Исследование возможностей моделей глубокого обучения различных архитектур для анализа эпистатических взаимодействий замен в белках (магистерская диссертация)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
1 мая скончалась Татьяна Владимировна Степанова (23.01.1946-01.05.2026), в прошлом - ведущий инженер лаборатории системного программирования, одна из старейших сотрудниц нашего института.
Выражаем искренние соболезнования родным и близким Татьяны Владимировны.
Прощание с Т.В. Степановой состоится сегодня, 4 мая, с 15 до 16 часов по адресу Арбузова, 2г.
Во вторник 5 мая 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Матвей Сергеевич Агибалов (студент ММФ НГУ)
Тема: На пути к дедуктивной верификации реализаций умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.
Задача повышения производительности умножения матриц является актуальной задачей современного программирования. При решении данной задачи в программном коде умножения матриц реализуют оптимизации, что затрудняет анализ полученных реализаций и может приводить к появлению в них ошибок. Гарантировать корректность программного кода относительно спецификаций, описывающих результат работы программы в зависимости от ее входных данных, может только дедуктивная верификация. Итого, задача дедуктивной верификации реализаций умножения матриц с направленными на повышение производительности оптимизациями является актуальной. В данном докладе будет представлен первоначальный этап исследования, нацеленный на дедуктивную верификацию реализаций классического умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.
Дорогие коллеги! Поздравляем вас с праздником весны и труда! Желаем вам весеннего настроения и хорошего отдыха на длинных выходных!
Распорядок работы института в праздники:
1-3 мая - выходные дни;
4-8 мая - рабочие дни;
9–11 мая - выходные дни.
29 апреля 2026 года безвременно скончался выдающийся российский учёный, доктор физико-математических наук, профессор, член-корреспондент РАН, директор НИВЦ МГУ и филиала МГУ в городе Сарове, заведующий кафедрой суперкомпьютеров и квантовой информатики факультета ВМК Владимир Валентинович Воеводин (25.05.1962-29.04.2026).
В 2023 году Владимир Валентинович был гостем нашего института и прочитал XIII Ершовскую лекцию по информатике.
Мы искренне соболезнуем родным и близким В.В. Воеводина, а также всем, кто знал этого замечательного человека.
Вышел очередной, 15-й выпуск подкаста "Карта памяти".
Гость выпуска — Леонид Карпов, главный научный сотрудник Института системного программирования им. В.П. Иванникова РАН. Выпуск посвящен Сергею Алексеевичу Лебедеву — выдающемуся советскому учёному, основоположнику вычислительной техники в СССР, создателю Большой электронно-счетной машины БЭСМ и других компьютеров.
Ведущий подкаста — Валерий Шилов, профессор департамента программной инженерии ФКН ВШЭ.
Во вторник 28 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Александр Андреевич Харьков (студент ММФ НГУ)
Тема: Ott: инструмент для автоматизации формального описания языков программирования
В докладе рассматривается Ott - инструмент для автоматизации формального описания синтаксиса и семантики языков программирования. Показано, как Ott позволяет, один раз описав формальную систему целевого языка на специальном метаязыке, автоматически генерировать её представления для различных целей: формальных доказательств (Coq, Isabelle/HOL), прототипирования (OCaml) и подготовки публикаций (LaTeX). Отмечена роль Ott в сокращении трудоёмкости создания спецификаций, минимизации ошибок при ручном кодировании и обеспечении согласованности между разными версиями описания языка.
28 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Александровна Крайнева, д.и.н., в.н.с. Лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: Новости истории информатики
Отчет о Международной конференции Российского национального комитета по истории и философии науки и техники, секция истории информатики и вычислительной техники (РНКИФНТ), Москва, 30.03–03.04. 2026. Краткое изложение докладов И.А. Крайневой, представленных на секции (К истории проекта ЕС ЭВМ: несостоявшееся сотрудничество (1967–1970 гг.) и на пленарном заседании (Роль ВПК в развитии отечественной индустрии цифровой вычислительной техники).
Ссылка на трансляцию: https://telemost.yandex.ru/j/71995603339428
Департамент инвестиций, потребительского рынка, инноваций и предпринимательства мэрии города Новосибирска проводит конкурс на примуждение приемий мэрии города Новосибирска в сфере науки и инноваций для молодых ученых и специалистов.
Ознакомиться с актуальной информацией о конкурсе, а также подать заявку можно на портале муниципальной информационной системы «Гранты и премии мэрии города Новосибирска в сфере науки и инноваций». Прием заявок будет производиться с 21 апреля по 20 мая 2026 года.
В четверг 23 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Матренин Павел Викторович (Уральский федеральный университет)
Тема: Методологические основы создания доверенных интеллектуальных систем прогнозирования временных рядов в задачах электроэнергетики (докторская диссертация)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
22 апреля (среда) в 18:30 в Академбюро.АНО КИЦ "Интеграл 2.0" по адресу г. Новосибирск, пр-т Академика Лаврентьева, 6, состоится новая встреча "АйТи-посиделок", на которой выступит Юрий Алексеевич Загорулько, кандидат технических наук, заведующий Лабораторией искусственного интеллекта Института систем информатики имени А.П. Ершова СО РАН.
Поговорим о том, как начинались исследования искусственного интеллекта в новосибирском Академгородке, а именно в недрах Вычислительного центра СО АН СССР и о том, как развивалось направление «Искусственный интеллект» в организациях, возникших на базе этого академического института.
Отметим особую роль, которую сыграли в зарождении и развитии этого направления в новосибирском Академгородке академики Андрей Петрович Ершов (19.04.1931 — 08.12.1988), чьим именем назван наш Институт, и Александр Семенович Нариньяни (02.11.1937 — 29.04.2010).
По предложению А.П. Ершова в 1973 г. в ВЦ СО АН СССР была создана научно-исследовательская группа по тематике искусственного интеллекта во главе с А.С. Нариньяни, благодаря блестящему таланту и выдающимся организаторским способностям которого эта группа в 1977 году стала полноценной лабораторией и в дальнейшем внесла значительный вклад в развитие искусственного интеллекта в СССР и мире.
К 1985 году лаборатория А.С. Нариньяни уже имела существенные достижения в таких областях, как компьютерная лингвистика, экспертные системы, программирование в ограничениях и др., поэтому сотрудники лаборатории были пригашены в первый в СССР проект создания ЭВМ нового поколения "Старт" (1985-1988 гг.), где получили ценный опыт промышленной разработки прикладных интеллектуальных систем и технологий. После «Старта» коллектив лаборатории во главе с А.С. Нариньяни успешно продолжал работы по искусственному интеллекту в различных организационных формах, но всегда на высоком научном уровне.
Необходима предварительная регистрация.
Во вторник 28 апреля в 14.30 состоится заседание N 1029 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.В. Попов
Тема: Реферат статьи Roos M. Bakker, Daan L. Di Scala and Maaike H. T. de Boer "Ontology Learning from Text: an Analysis on LLM Performance" (NLP4KGC: 3rd International Workshop on Natural Language Processing for Knowledge Graph Creation in conjunction with SEMANTiCS 2024 Conference. , September 17–19, 2024, Amsterdam, The Netherlands)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
19 апреля исполняется 95 лет со дня рождения академика А.П. Ершова. К дню рождения Андрея Петровича Ершова ежегодно приурочивается Ершовская лекция.
В этом году Ершовские чтения запланированы на 14-15 мая . Традиционная Ершовская лекция состоится во второй половине дня 15 мая.
Во вторник 21 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Лев Константинович Бояндин (студент ММФ НГУ)
Тема: Обзор предметно-ориентированного языка PLT Redex
Доклад представляет собой обзор языка PLT Redex, созданного для определения и отладки (то есть тестирования) операционных семантик языков программирования. Будет рассказано об идеологии проекта, (немного) о теоретической основе, текущем его состоянии, его применении в научных исследованиях и на практике, а также об использовании Redex на примере простого игрушечного языка.
19 апреля 2026 года в Академгородке будет проводится ежегодное мероприятие «XI весенний полумарафон».
В связи с проведением полумарафона на территории Советского района будет введено временное прекращение движения транспортных средств 19.04.2026 с 8.00 до 15.15 час на следующих участках улично-дорожной сети:
- по Университетскому проспекту на участке от пересечения с ул. Ильича до пересечения с проспектом Академика Коптюга;
- по проспекту Академика Коптюга;
- по проспекту Академика Лаврентьева на участке от пересечения с проспектом Академика Коптюга до пересечения с ул. Пирогова;
- по ул. Николаева на участке от пересечения с проспектом Академика Лаврентьева до здания ул. Николаева, 12/2;
- по ул. Инженерной на участке от пересечения с ул. Николаева до пересечения с ул. Академика Будкера;
- по ул. Академика Будкера от пересечения с ул. Инженерной до пересечения с проспектом Академика Лаврентьева.
Будет обеспечен объезд по автомобильным дорогам общего пользования через ул. Пирогова, пр. Строителей, Морской проспект.
Также будет ограничена стоянка (исключена парковка) транспортных средств 19.04.2026 с 6.00 до 15.15 час.
Маршрут полумарафона пройдет по следующей схеме:
старт у здания по ул. Николаева, 11 – ул. Николаева – проспект Академика
Лаврентьева – проспект Академика Коптюга – Университетский проспект с
разворотом на пересечении с ул. Ильича, далее обратно по проспекту Академика
Коптюга – ул. Академика Будкера – ул. Инженерная с финишем у здания по ул.
Николаева, 11.
Подробнее о мероприятии см. на сайте марафона.
Приказом Министерства науки и высшего образования РФ №231 от 25 марта 2026 г. директору ИСИ СО РАН, д.ф.-м.н. Пальянову Андрею Юрьевичу присвоено звание "Почетный работник науки и высоких технологий Российской Федерации".
Поздравляем Андрея Юрьевича с получением заслуженной награды и желаем дальнейших успехов в научной деятельности!
Приглашаем принять участие в конкурсе женщин-ученых «Академина-2026».
Конкурс «Академина», посвященный женщинам в науке, проводится в 2026 году в седьмой раз. Программой конкурса предусмотрено чествование и награждение женщин-ученых, победивших в номинациях: «Член-корреспондент РАН», «Доктор наук», «Кандидат наук», «Профессор», «Доцент», «Директор НИУ», «Ректор вуза», «Наука и социальная ответственность», «Наука – мой выбор» (для женщин – аспирантов в возрасте до 35 лет включительно), «Первое научное открытие» (для женщин без ученой степени в возрасте до 35 лет включительно), «Научный дебют» (для женщин – студентов и магистрантов вузов в возрасте до 35 лет включительно).
Финальное мероприятие конкурса – церемония награждения состоится в рамках ХIII Международного форума технологического развития «Технопром-2026» (26–28 августа 2026 г.) на площадке международного выставочного комплекса «Новосибирск Экспоцентр».
Прием заявок на участие в конкурсе открыт до 11 мая 2026 г.
Подробные условия участия в конкурсе размещены на официальном сайте «Академина».
В четверг 16 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лисин Владислав Александрович (НГУ)
Тема: Методы разработки информационных систем поддержки научных исследований на основе онтологий с использованием инструментов анализа текстовых корпусов и мультимодальных ресурсов
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
14 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Комплексный подход к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях»
В настоящее время искусственный интеллект, основанный на нейронных сетях, стал активно применяться в программном обеспечении систем, к надежности и корректности которых предъявляются повышенные требования. В качестве примера таких систем можно привести беспилотные авиационные системы, беспилотные транспортные системы, роботизированные системы, экспертные системы в банковской сфере и т.д. Традиционно для проверки корректности и надежности программного обеспечения применяется тестирование. Но известно, что тестирование не может гарантировать корректность программ. Это может сделать только формальная верификация, которая позволяет формально доказать, что программа корректна относительно своих спецификаций. Формальную верификацию можно применить и к нейронным сетям, чтобы сделать основанный на них искусственный интеллект доверенным. В отличие от тематики формальной верификации программного обеспечения общего назначения, тематика формальной верификации нейронных сетей начала активно развиваться относительно недавно. Итого, проблема формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, является актуальной. В данном докладе будет рассмотрено наше исследование по созданию комплексного подхода к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, созданный ранее в ИСИ СО РАН теоретический и практический задел для нашего исследования, преимущества нашего исследования перед новейшими зарубежными исследованиями и перспективы нашего исследования.
Ссылка на трансляцию: https://telemost.yandex.ru/j/46977731376447
27-30 апреля 2026 г. в Санкт-Петербурге состоится Всероссийская научная конференция по проблемам информатики памяти Андрея Николаевича Терехова СПИСОК-2026.
Срок подачи докладов до 19 апреля 2026 г.
Подробнее см. на сайте конференции.
Во вторник 7 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 «Надежда Сибири», Новосибирск)
Тема: Путеводитель (для начинающих) по стране Формальной Семантики Программ
Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Приглашаю студентов, кто только начинает путешествие по этой стране, познакомиться с общедоступным путеводителем…
Во вторник 14 апреля в 14.30 состоится заседание N 1028 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка и анализ архитектур RAG для интеллектуального поиска с использованием графов знаний
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Институт системного программирования РАН приглашает принять участие в международной конференции «Иванниковские чтения», которая пройдет 28–30 мая 2026 года в этнографическом парке-музее ЭТНОМИР (Калужская обл., Боровский р-н, д. Петрово). Конференция посвящена разработке инновационных технологий в области системного программирования и искусственного интеллекта.
С 2026 года программа конференции расширится за счет проведения коллоквиума SYRCoSE, ориентированным на молодых исследователей в сфере информационных технологий. Это позволит объединить на одной площадке как опытных специалистов, так и тех, кто только начинает свой путь в науке.
- Технологии анализа, моделирования и трансформации программ.
Секция посвящена методам оптимизации в компиляторе, кодогенерации, статическому и динамическому анализу программ, в том числе с применением искусственного интеллекта, а также различным методам, архитектурам и компонентам современных операционных систем для эффективных вычислений и систем контроля. - Технологии создания интеллектуальных беспилотных систем.
Секция посвящена вопросам моделирования, тестирования, разработки и испытаний автономных робототехнических комплексов и систем. Кроме того, затрагиваются вопросы, связанные с разработкой доверенных программно-аппаратных комплексов, обеспечивающих функционирование таких систем (в том числе с использованием искусственного интеллекта). - Управление данными и искусственный интеллект.
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. - Лингвистические системы анализа.
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства.
Важные даты:
- До 10 апреля — подача материалов;
- До 30 апреля — уведомление о включении в программу;
- До 11 мая — регистрация участников.
Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, будут опубликованы в сборнике «Труды ИСП РАН», входящем в перечень ВАК.
Организационный взнос за участие не взимается.
Подробнее на сайте конференции.
Министерство науки и высшего образования Российской Федерации информирует о проведении 10 апреля 2026 года в 10:00 по московскому времени II Всероссийского космического диктанта «Кадры для космоса», в рамках Первой Российской недели космоса (6–12 апреля 2026 года), посвященной 65-летию первого полета человека в космос, который совершил Юрий Гагарин.
Участие в Диктанте доступно в онлайн формате всем желающим.
Дополнительно сообщаем, что в рамках Диктанта с 30 марта 2026 года реализуется космическая игра «Клик до Марса», победители которой также будут объявлены вместе с победителями диктанта.
В четверг 2 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Дмитрий Александрович (ИСИ СО РАН)
Тема: Серия соревнований по формальной верификации программ VeHa: три года большого пути
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 31 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Семён Степанов (магистрант СПбГУ)
Тема: Реферат статьи Implementation and Synthesis of Math Library Functions (Ian Briggs, Yash Lad, Pavel Panchekha, POPL-24)
Работа предлагает язык и систему (MegaLibm) для автоматической генерации реализаций математических функций с гарантированной точностью. Вместо ручного написания кода пользователь задаёт алгоритм в DSL, после чего система синтезирует оптимальную реализацию. Корректность проверяется через оценку численной ошибки. Это позволяет получать быстрые и точные реализации, иногда лучше, чем в стандартных математических библиотеках.
Министерство науки и высшего образования Российской Федерации информирует, что в настоящее время осуществляется прием заявок на соискание Научной премии ПАО «Сбербанк России».
На соискание Премии выдвигаются деятели науки, внесшие значительный вклад в развитие науки и технологий и продолжающие ведение активной научно-исследовательской деятельности, связанной с российскими научными, образовательными учреждениями и/или технологическими компаниями.
Подробная информация о Премии, включая правила ее проведения, размещена на официальном сайте Премии.
В четверг 26 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Шувалов Роман Денисович (НГУ)
Тема: Разработка корпуса текстов, размеченных кореференцией. Экспериментальное исследование нейросетевых подходов к разрешению кореференции
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 31 марта в 14.30 состоится заседание N 1027 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Линке
Тема: Нейроэволюционный симулятор организмов со зрительной системой: интеграция систем распознавания образов и управления движением
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Поздравляем заведующую канцелярией Любовь Васильевну Гридину с юбилеем!
Дорогая Любовь Васильевна! Пусть Ваша работа не будет Вам в тягость, а семья всегда только радует! Желаем, чтобы здоровье не подводило, дом был полной чашей, а рядом всегда были ваши близкие и самые надежные друзья. Будьте счастливы!
Во вторник 24 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Станислав Мищенко (магистрант СПбГУ)
Тема: Реферат статьи Detecting Vector Container Errors in C++ Programs via Abstract Interpretation" (Liu et al., 2026)
Данная работа посвящена применению техник статического анализа для решения задачи обнаружения обращений за приделами памяти и проверки инвалидации итераторов в конкретном случае контейнера std::vector из стандартной библиотеки C++, который является динамическим массивом, и его итераторов. Предложенное решение IKOS4VecErr, основанное на IKOS, фокусируется на 5 распространённых видах ошибок и превосходит существующие решения по эффективности.
24 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Александр Гурьевич Марчук, доктор физико-математических наук, заведующий Лабораторией информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Проект МАРС (1979-1989 гг.)»
В 1975 году в Отделении информатики ВЦ СО АН СССР была создана лаборатория теории вычислительных процессов, которую возглавил В.Е. Котов. Проект МАРС (Модульные Асинхронные Развиваемые Системы) стал первой крупной работой нового коллектива. Концепция проекта была изложена в совместной работе Г.И. Марчука и В.Е. Котова в 1978 г. В ней обоснованы существенные принципы организации вычислительного процесса: параллелизм обработки, доступа к данным и управления; децентрализация потоков обработки; асинхронность взаимодействия устройств и процессов; иерархичность, модульность и специализация компонентов. Проведенный анализ базировался на новых по тому времени моделях взаимодействия асинхронных процессов, а архитектура виделась как естественная реализация модели вычислений.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/43127234387711
В четверг 19 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лидия Васильевна Городняя (ИСИ СО РАН)
Тема: Эволюция знания в языках программирования
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Стало известно, что 5 марта 2026 г. скончался сэр Чарльз Энтони Ричард (Тони) Хоар (Tony Hoare) (11 января 1934 – 5 марта 2026), один из величайших пионеров информатики, лауреат премии Тьюринга (1980) и хороший друг нашего института. Тони Хоар дважды был гостем нашего института как приглашенный докладчик международной конференции PSI. В электронном архиве академика А.П. Ершова хранится более сотни документов, связанных с Энтони Хоаром. Так, например, в 1987 году А.П. Ершов рекомендовал избрать Энтони Хоара в качестве иностранного члена Академии наук СССР.
Выражаем искренние соболезнования родным и близким Энтони Хоара, а также всем, кто знал этого замечательного человека и ученого.
На снимке - Тони Хоар во время доклада на конференции PSI'03 9 июля 2003 г. Фото Сергея Мыльникова.
Во вторник 17 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Сергей Михайлович Старолетов (Институт Автоматики и Электрометрии, АлтГУ)
Тема: Формальное моделирование различных архитектур графических конвейеров в SPIN
В этом докладе будет представлена формальная модель графического конвейера GPU, реализованная на языке моделирования Promela, для возможной будущей верификации с помощью средства проверки моделей SPIN. Будет представлен анализ исторических графических архитектур. Модель осуществляет реальный 3D рендеринг в целочисленных координатах, абстрагирует ключевые этапы конвейера — выборку вершин, обработку шейдеров, растеризацию, текстурирование и пиксельные операции как параллельные процессы, синхронизированные через буферизованные каналы и семафоры. Модель может служить основой для сравнения графических архитектур, демонстрации в учебных целях и формальной проверки корректности конвейера.
Карта памяти — образовательный подкаст факультета компьютерных наук ВШЭ, посвященный известным мировым и отечественным ученым в области вычислительной техники и компьютерных наук.
Гость четырнадцатого выпуска — Алексей Мицюк, заместитель декана ФКН ВШЭ по научной работе. Мы поговорили о жизни и трудах Эдсгера Дейкстры — выдающегося программиста, создателя операционных систем, основоположника структурного программирования. Рассказываем, почему алгоритм Дейкстры стал одним из самых известных в истории программирования, за что учёный получил премию Тьюринга и какими афоризмами запомнился.
Ведущий подкаста — Валерий Шилов, профессор департамента программной инженерии ФКН ВШЭ.
Внимание! В четверг 12 марта семинар "Интеллектуальные системы и Системное программирование" не состоится.
С 5 марта по 3 апреля 2026 года состоится соревнование по сжатию промптов, написанных на русском языке. Соревнование пройдет в рамках конференции AINL 2026. Одним из главных организаторов соревнования AINL-Eval 2026 является ИСИ СО РАН.
Последние достижения в области больших языковых моделей (LLM) сделали их невероятно доступными для использования в самых разных сферах. Несмотря на стремительный прогресс, генерация ответов с помощью таких моделей остается ресурсоемким и дорогостоящим процессом, особенно при использовании длинных промптов. Участникам необходимо разработать методы сжатия промптов без потери качества вывода. Основная цель этого соревнования — снизить стоимость обращения к LLM, сохранив при этом точность и высокое качество ответов модели.
Подробности об AINL-Eval 2026 приведены на сайте соревнования.
Во вторник 17 марта в 14.30 состоится заседание N 1026 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: В.В. Титова
Тема: Разработка кодогенератора LLVM IR-программ для языка Cloud Sisal
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Поздравляем старшего научного сотрудника лаборатории смешанных вычислений, к.ф.-м.н. Зинаиду Владимировну Апанович с днем рождения!
Дорогая Зинаида Владимировна! Пусть Вам все удается, все у Вас получается, работа приносит только радость, а дома всегда ждут благополучие, тепло и уют. Желаем здоровья и счастья!
Дорогие женщины, поздравляем вас с наступающим 8 Марта!
В этот весенний день примите самые тёплые пожелания! Пусть ваша мудрость всегда находит верные решения, а сердце наполняется радостью от маленьких и больших побед. Желаем, чтобы каждая минута приносила вдохновение, а дела завершались с мастерством и лёгкостью. Пусть дома вас ждёт уют, а на работе — уважение и признание. Оставайтесь такими же сияющими, как первые лучи марта!
Распорядок работы института:
- 7-9 марта – выходные дни.
Сибирское отделение РАН приглашает ваших детей — учеников 7—11 классов школ Новосибирской области принять участие в традиционном конкурсе эссе. В этом году он приурочен к Неделе космоса, которая пройдет в России с 6 по 12 апреля. Тема конкурса — «Освоение космоса: человек или робот?»
Космическая отрасль с самого момента своего зарождения стала предметом особой гордости нашей страны, а в 2026 году мы отмечаем 65-летие полета в космос первого в мире человека — советского космонавта Юрия Алексеевича Гагарина. 108 минут, которые он провел на орбите Земли, стали точкой отсчета новой, космической эры в развитии всего человечества. В 2026 году конкурс эссе для школьников, который ежегодно проводит Сибирское отделение РАН, будет посвящен освоению космоса: мы предлагаем участникам поразмышлять о перспективах освоения космического пространства, новых планет и их спутников. Как вы считаете, кто должен это делать: люди или роботы, наделенные искусственным интеллектом? Напишите свою точку зрения, обоснуйте ее (почему вы так считаете?) и порассуждайте о том, какие технологии и изобретения нужно будет придумать для этого.
Срок подачи работ — до 17 марта 2026 года, после этой даты работы не принимаются. Итоги будут объявлены 6—12 апреля 2026 года. Подробности, касающиеся оформления и процедуры подачи работ, доступны на сайте СО РАН.
3 марта исполняется 45 лет директору ИСИ СО РАН, д.ф.-м.н. Андрею Юрьевичу Пальянову.
Уважаемый Андрей Юрьевич! Сердечно поздравляем Вас с днем рождения и желаем Вам успехов в научной и организационной деятельности, и в увлечениях. Здоровья и семейного благополучия! Пусть каждый прожитый Вами год проходит с пользой: приносит ценный опыт, дарит положительные эмоции и вдохновляет на новые свершения!
10 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Татьяна Юрьевна Черкашина, кандидат социологических наук, ведущий научный сотрудник Института экономики и организации промышленного производства СО РАН (ИЭОПП СО РАН), зав. кафедрой общей социологии ЭФ НГУ
Тема доклада: «Экономическое неравенство в современной России: измерение и территориальная проекция»
У экономического неравенства несколько измерений. Более распространены оценки неравенства населения по денежным доходам, но не менее значимо неравенство по накопленному богатству, имуществу в собственности. Как за последнее три десятилетия в России менялись институциональные условия для формирования собственности домохозяйств? Из каких данных складывается наше представление об имущественном неравенстве в современной России? Какой разрыв между богатыми и бедными они показывают? Какова «географические» особенности распределения богатства и богатых россиян?
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/73649947448046
В четверг 5 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 «Надежда Сибири» и инженер ИСИ СО РАН)
Тема: Что должен знать по математической логике выпускник технического ВУЗа по направлению "Математические основы искусственного интеллекта"
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 3 марта 2026 г. на семинаре "Теоретическое и экспериментальное программирование" (СТЭП) состоится второе (заключительное) заседание мини-workshop, посвященное Лидии Васильевне Городней.
Тема: языки, парадигмы, психология, методология, история и общие вопросы программирования.
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
17:30-18:10 Лидия Васильевна Городняя: Эволюция знания в языках программирования (завершение доклада, начатого 24 февраля, 25 минут доклад + 5 минут на обсуждение)
18:10-18:30 Борис Леонидович Файфель: Предварительная трансляция макро в HomeLisp (25 минут доклад + 5 минут на обсуждение)
18:30-19:00 Дмитрий Александрович Кондратьев: Парадигмы задания спецификаций программ (25 минут доклад + 5 минут на обсуждение)
Утвержден План основных мероприятий СО РАН по подготовке и проведению празднования 70-летия Сибирского отделения РАН в мае 2027 г.
В четверг 26 февраля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Мордвинов Александр (аспирант, ИСИ СО РАН)
Тема: На пути к созданию операционной системы для исследователей всех возрастов
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 3 марта в 14.30 состоится заседание N 1025 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.П. Володина
Тема: Распознавание катаракты по системе классификации помутнений хрусталика LOCS-Ⅲ алгоритмом на основе нейронных сетей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
С праздником, дорогие мужчины, с Днем защитника Отечества!
Желаем уверенно стоять на защите всего, что вам дорого. Желаем никогда не отступать от начатого дела и обязательно добиваться успеха во всём! Будьте здоровы, крепки и отважны. Берегите близких. Вам всё под силу! Пусть капля удачи и верная поддержка дорогих людей всегда помогает вам во всех делах! Успехов вам, коллеги, достатка и всех жизненных благ.
Распорядок в праздничные дни:
- 21-23 февраля – выходные дни.
Во вторник 24 февраля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.30 НСК (13.30-15.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Во вторник 24 февраля 2026 г. на «Семинаре Теоретического и Экспериментального Программирования» (СТЭП) пройдет мини-workshop, посвященный Лидии Васильевне Городней. Тема: языки, парадигмы, психология, методология, история и общие вопросы программирования.
17:30-18:30 Лидия Васильевна Городняя: Эволюция знания в языках программирования (40 минут доклад + 20 минут на обсуждение)
18:30-19:00 Татьяна Анатольевна Андреева: Хронология возникновения основных парадигм программирования (25 минут доклад + 5 минут на обсуждение)
19:00-19:30 Андрей Валентинович Климов: Взгляд на эволюцию языков программирования (25 минут доклад + 5 минут на обсуждение)
P.S.
(1) По согласованию с участниками семинара докладам второго часа может быть добавлено дополнительное время на обсуждение.
(2) Так как поступили еще две заявки на выступление на семинаре, посвященном Л.В. Городней, то ожидается продолжение нашего мини-workshop на одном из ближайших заседаний семинара.
В преддверии 95-летия со дня рождения академика А.П. Ершова нелишне вспомнить его роль в реализации национальной программы информатизации образования в СССР.
Предлагаем вашему вниманию статью И. Богданова "Кружки юных программистов в СССР: как растили кадры без интернета" из Forpes 17.02.2026 г.
В ИСИ СО РАН проводится подсчет показателей результативности научной деятельности (ПРНД) научных сотрудников за 2024-2025 гг.
Обращаем ваше внимание, что в статьи теперь оцениваются не только по международным базам данных цитирования,но и по "Белому списку", предложенному Минобрнауки. Ссылку на "Белый список" вы найдете в файле "Рекомендации...".
Просим выслать заполненную табличку с ПРНД и файл с публикациями за два года своим ЗАВЛАБАМ до 1 марта (включительно).
Завлабы должны проверить правильность (достоверность) заполнения табличек своих сотрудников и выслать таблички вместе со списками их публикаций председателю Рейтинговой комиссии ИСИ СО РАН Ю.А. Загорулько одним письмом с вложением до 6 марта включительно.
Приглашаем вас принять участие в XII Международной научно-практической конференции «BIG DATA and Advanced Analytics», проводимой учреждением образования «Белорусский государственный университет информатики и радиоэлектроники» (БГУИР) 23 апреля 2026 г. в г. Минске (Республика Беларусь).
К участию в конференции приглашаются ведущие ученые, руково-дители и специалисты профильных организаций, преподаватели, молодые ученые, аспиранты, магистранты и студенты.
Участие в конференции возможно в очном, онлайн или заочном формате.
По итогам конференции будет опубликован сборник научных трудов. Прием материалов осуществляется до 1 марта 2026 года.
С 20 марта по 23 апреля 2026 года в новосибирском Академпарке состоится весенний сезон акселерационной программы «А:СТАРТ 32.0». За 15 лет существования проект помог запустить более 350 стартапов. Организаторы ждут новых участников, готовых за пять недель превратить идею в готовый к инвестициям продукт.
Подать заявку на участие можно до 1 марта на сайте программы.
Познакомиться с командой А:СТАРТ, презентовать свой проект и получить рекомендации от экспертов Академпарка можно 14 марта на открытом микрофоне технологических проектов Easy pitch. Зарегистрироваться можно по ссылке.
24 февраля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Сергей Сергеевич Оспичев, к.ф.-м.н., заместитель директора Математического центра в Академгородке
Тема доклада: «Искусственный интеллект: история и развитие»
В этом докладе рассмотрим развитие идеи искусственного интеллекта в контексте социально-экономических трансформаций различных эпох и отметим, что иногда маркетинг оказывается не менее важен, чем сами исследования.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/00079144135761
Карта памяти — образовательный подкаст факультета компьютерных наук ВШЭ, посвященный известным мировым и отечественным ученым в области вычислительной техники и компьютерных наук.
Гость десятого выпуска — Борис Миркин, профессор департамента анализа данных и искусственного интеллекта ФКН. Мы поговорили о жизни и научной работе советского учёного Леонида Канторовича, математика, экономиста, одного из создателей линейного программирования, лауреата Премии им. Альфреда Нобеля по экономике..
Гость одиннадцатого выпуска — Валерий Шилов, профессор департамента программной инженерии ФКН ВШЭ. Мы поговорили о жизни и изобретениях Семёна Корсакова — государственного и военного деятеля, изобретателя, создавшего в 1832 году «интеллектуальные машины» — прообразы современных баз данных и поисковых систем.
Ведущий подкаста — Антон Басов, сотрудник отдела внешних коммуникаций ФКН ВШЭ.
Гость двенадцатого выпуска — Антон Басов, исследователь истории техники и науки. Мы поговорили о Германе Холлерите — инженере, изобретателе и ИТ-стартапере, чьи работы заложили основы современных информационных технологий и обработки больших данных.
Гость тринадцатого выпуска — Игорь Агамирзян, профессор департамента программной инженерии ФКН ВШЭ. Мы поговорили о жизни и наследии сэра Энтони Хоара — одного из основоположников современного программирования, создателя алгоритма быстрой сортировки (Quicksort) и ключевых концепций параллельных вычислений, а также об уникальных эпизодах личного знакомства Игоря с учёным и их совместной работе в Microsoft Research.
Ведущий подкаста — Валерий Шилов, профессор департамента программной инженерии ФКН.
13 февраля отмечает круглую дату Наталья Ариановна Черемных, старейший сотрудник ИСИ СО РАН, заведующая Отделом научно-технической информации ИСИ СО РАН с самого его основания. Наталья Ариановна являлась автором первого официального русского перевода книги Фредерика Брукса "Мифический человеко-месяц" (The Mythical Man-Month), который вышел в 1979 году в издательстве "Мир" под редакцией и с предисловием Андрея Петровича Ершова. Н.А. Черемных была инициатором и организатором создания Электронного архива академика А.П. Ершова. Она стояла у истоков серии конференций PSI и многие годы занималась их организацией. Н.А. Черемных больше не работает в ИСИ СО РАН, но не теряет связь с институтом, участвует в исторических исследованиях и представляет результаты на профильных конференциях.
Дорогая Наталья! Поздравляем Вас с днем рождения! Коллектив помнит Вас как мудрого руководителя-организатора и замечательного товарища. Желаем Вам нашего сибирского здоровья, семейного благополучия и долгих лет плодотворной творческой жизни!
Ваши друзья и коллеги
из ИСИ СО РАН
Во вторник 17 февраля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчики: Глеб Щепа (ведущий программист, Engee), Михаил Песельник (руководитель департамента встраиваемых систем, Экспонента)
Тема: Формальные методы для верификации конечных автоматов в контексте модельно-ориентированного проектирования на российской платформе математических вычислений и динамического моделирования Engee
В докладе представлен практический подход к интеграции формальной верификации в процесс модельно-ориентированного проектирования. Показано, как осуществлять верификацию моделей конечных автоматов, разработанных в российской среде моделирования Engee. Основное внимание сосредоточено на разработанном решении для автоматической генерации кода на языке Promela, используемом в известной системе верификации Spin. Рассмотрены специфические аспекты и особенности данной трансформации, возникающие при конвертации графических моделей в формальное представление.
Поздравляем старшего научного сотрудника лаборатории теоретического программирования, к.ф.-м.н. Ануреева Игоря Сергеевича с днем рождения!
Желаем, чтобы каждый прожитый день приносил только радость и много положительных эмоций. Крепкого здоровья, мужской брутальности, верных и преданных друзей, карьерного роста и удачи.
В четверг 12 февраля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов (ИСИ СО РАН)
Тема: Язык и технология предикатного и автоматного программирования.
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
В рамках проведения Дней российской науки директор ИСИ СО РАН д.ф.-м.н. А.Ю. Пальянов провел встречу с учащимися ОЦ Горностай. Во время встречи школьники узнали, чем занимаются ученые в лаборатории системной динамики (моделирование живых организмов), познакомились с историей нашего института и узнали о том, какой вклад внёс его основатель, академик Андрей Петрович Ершов, в развитие информатики и программирования в СССР. Андрей Юрьевич также рассказал ребятам о Летней школе юных программистов и про другие возможности для школьников приобщиться к различным направлениям науки и научно-технического творчества (КЮТ, занятия в НГУ по физике и химии для школьников, кружки в школах) и попробовать себя в этом деле.
Также школьники узнали о том, что день российской науки отмечается 8 февраля, поскольку именно в этот день в 1724 году император Петр I подписал указ об учреждении Академии наук и художеств в Санкт-Петербурге, которая стала первым высшим научным учреждением в стране, ориентированным на развитие науки и (высшего) образования. Кроме того, в процессе встречи ребята задавали вопросы - о науке, о пути в науку и многом другом. Вопросов было много и был виден искренний интерес, некоторые ученики даже остались после звонка, чтобы поспрашивать ещё.
В адрес ИСИ СО РАН поступило благодарственное письмо от директора ОЦ "Горностай" И.Г. Путинцевой.
Во вторник 17 февраля в 14.30 состоится заседание N 1024 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.Н. Ковалев
Тема: Популярные паттерны Spring
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В рамках празднования Дня науки, в среду, 11 февраля 2026 года, Академбюро совместно с Институтом систем информатики им. А. П. Ершова СО РАН приглашает гостей на Вечер открытых дверей и Ай-Ти посиделки.
Как прошла предыдущая встреча Ай-Ти посиделки, смотрите здесь .
10 февраля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Владимировна Сальникова, к.и.н., с.н.с. Отдела палеометалла, Институт археологии и этнографии СО РАН
Тема доклада: «Археология: о чем могут рассказать нательные кресты?»
Нательные кресты как символ принадлежности к христианскому вероисповеданию – самая массовая категория артефактов, обнаруженных при исследовании многих археологических памятников. Эти находки также являются свидетельством освоения русскими территории Новосибирской области в период XVIII – XIX вв. Раскопки проведены на нескольких комплексах. Это некрополь и фундамент Никольской церкви села Кривощеково, некрополи и фундаменты Спасского собора в городе Каинские и укрепленного фортпоста – Умревинского острога.
Разнообразие форм, декора, символики оформления, материала изготовления позволяют определить конфессиональную принадлежность его владельцев, их социальный и профессиональный статус, проследить миграционные маршруты переселенцев, а также локализовать географические центры Центральной России – источники миграции.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/91594610943513
Ежегодно 8 февраля российское научное сообщество отмечает свой профессиональный праздник — День российской науки.
11 февраля ИСИ СО РАН приглашает на встречу с Александром Гурьевичем Марчуком, д.ф.м-н., профессором НГУ, заведующим Лабораторией информационных систем. Вас ждет рассказ о вычислительной системе МАРС и новой процессорной архитектуре, развивавшейся на ВЦ в 1970-80-х годах. Лекция А.Г. Марчука состоится в музейном пространстве АкадемВЦентре, которое в 17:00 11 февраля откроет свои двери для знакомства со своими экспозициями и артефактами. Вы увидите вещи из семей первого поколения ученых Академгородка, полистаете книги, посмотрите кадры кинохроники, послушаете рассказы об интересных событиях. Также будет возможность заглянуть в Музей вычислительной техники Дмитрия Бачило и принять участие в викторине с призами.
Регистрация на мероприятие.
Предлагаем вашему вниманию 27-й выпуск Бюллетеня Новосибирского вычислительного центра в серии Mathematical Modeling in Geophysics. Выпуск подготовлен в ИВМиМГ СО РАН, в него вошли статьи сотрудников института за 2025 год. На сайте Бюллетеня доступен полный текст статей.
3 февраля отмечает свой юбилей старший научный сотрудник лаборатории информационных систем, к.ф.-м.н. Лидия Васильевна Городняя.
Дорогая Лидия Васильевна! Сердечно поздравляем Вас с круглой датой! Пускай этот и все остальные дни Вашей жизни будут светлыми, яркими, позитивными. Желаем Вам успехов в Вашей научной и педагогической деятельности, крепкого здоровья, многих лет продуктивной жизни!
Внимание! Встреча перенесена на 14:30.
6 февраля 2026 года в 14:30 в Федеральном государственном бюджетном научном учреждении Новосибирском институте органической химии им. Н.Н. Ворожцова Сибирского отделения Российской академии наук состоится встреча Губернатора Новосибирской области А.А. Травникова с аспирантами и молодыми учеными Новосибирской области.
Для участия в мероприятии необходимо зарегистрироваться. Регистрация доступна до 23:59 04.02.2026.
Министерство науки и высшего образования Российской Федерации объявляет конкурсный отбор 2026 года на назначение стипендии Президента Российской Федерации для аспирантов и адъюнктов, обучающихся по очной форме обучения в российских организациях, осуществляющих образовательную деятельность, и проводящих научные исследования в рамках реализации приоритетов научно-технологического развития Российской Федерации, определенных в Стратегии научно-технологического развития Российской Федерации. Размер стипендии составляет 75 000 рублей ежемесячно.
Условия конкурса содержатся в прилагаемых документах.
27 января – День полного освобождения Ленинграда от фашистской блокады, которая длилась 872 дня.
Сотрудники и аспиранты ИСИ СО РАН посетили проект «Из блокады в Сибирь. Дорога к жизни в Академгородке», организованный Академбюро. АНО КИЦ "Интеграл 2.0".
При поддержке Фонда профессиональных инициатив «Женщины атомной отрасли» продолжается прием заявок на IV ежегодную премию KOLBA. Это уникальная общероссийская награда, призванная отметить достижения женщин в научной и технологической сферах.
KOLBA — единственная в России премия, фокусирующаяся исключительно на достижениях женщин в науке и технологиях. Цель проекта — сделать видимым вклад женщин в развитие этих сфер, вдохновить новое поколение и укрепить профессиональное сообщество.
Стать номинанткой или предложить кандидата может любой желающий. Для участия необходимо до 31 января 2026 года заполнить заявку.
17 апреля 2026 года в рамках церемонии награждения пройдет форум,
объединяющий лидеров мнений, представителей науки, бизнеса и государства.
Регистрация на форум для гостей и СМИ по ссылке.
Подробнее см. на сайте премии.
Предлагаем вашему вниманию новый, 49-й выпуск Бюллетеня Новосибирского вычислительного центра в серии Computer science. Выпуск подготовлен в ИСИ СО РАН, в него вошли статьи сотрудников нашего института за 2025 год. На сайте Бюллетеня доступен полный текст статей.
Поздравляем старшего научного сотрудника лаборатории теории параллельных процессов, к.ф.-м.н. Маргариту Владимировну Коровину с круглой датой!
Дорогая Риточка! Желаем Вам крепкого здоровья, новых научных открытий, новых свершений и путешествий. Оставайтесь всегда молодой и красивой!
27 января в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Зинаида Владимировна Апанович, к.ф.-м.н., с.н.с. Лаборатории смешанных вычислений ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Современные промышленные приложения графов знаний»
Графы знаний проделали большой путь эволюции от простого множества RDF-триплет до систем получения новых знаний. Если в прежние годы основным приложением графов знаний считался семантический поиск, то на современном этапе графы знаний проникают во все области промышленного производства. В докладе будет сделан обзор новых вариантов графов знаний, таких виртуальные графы знаний, динамические графы знаний и исполняемые графы знаний, применяемые в современном производстве, а также рассказано про основную область их применения - когнитивные цифровые двойники.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/48643078057657
19 января исполняется 50 лет зам. директора ИСИ СО РАН по научной работе, к.ф.-м.н. Алексею Владимировичу Промскому.
Дорогой Алексей Владимирович! От души поздравляем Вас с Вашим первым юбилеем! Желаем Вам крепкого здоровья, долгих лет жизни, успехов в научной и организационной работе, а также процветания родного института!
Российский научный фонд начинает прием заявок на шесть конкурсов. Среди них — конкурсы проектов отдельных и малых отдельных научных групп, конкурс инициативных исследований молодых ученых и исследований научных групп под руководством молодых ученых, а также региональные конкурсы.
Гранты выделяются на осуществление научных исследований в 2026–2028 годах.
В конкурсе могут принимать участие проекты исследователей, имеющих степень кандидата наук, в возрасте до 33 лет включительно.
Размер одного гранта Фонда составит до 1,5 млн рублей ежегодно.
Заявки на конкурс представляются до 17:00 (мск) 11 марта 2026 года. Результаты конкурса будут подведены до 10 июля 2026 года.
Гранты выделяются на осуществление научных исследований в 2026–2029 годах с последующим возможным продлением на один или два года.
В конкурсе могут принимать участие проекты исследователей, имеющих степень кандидата или доктора наук, в возрасте до 35 лет включительно.
Размер одного гранта Фонда составит от 3 до 6 млн рублей ежегодно.
Заявки на конкурс представляются до 17:00 (мск) 12 февраля 2026 года. Результаты конкурса будут подведены до 10 июля 2026 года.
Гранты выделяются на осуществление научных исследований в 2027–2028 годах.
Размер одного гранта Фонда составит до 1,5 млн рублей ежегодно.
Заявки на конкурс представляются до 17:00 (мск) 16 июня 2026 года. Результаты конкурса будут подведены до 15 октября 2026 года.
Гранты выделяются на осуществление научных исследований в 2027–2028 годах.
Финансовое обеспечение проекта в размере до 1,5 млн рублей ежегодно формируется из гранта Фонда и паритетного финансирования региона.
Заявки на конкурс представляются до 17:00 (мск) 15 сентября 2026 года. Результаты конкурса будут подведены до 1 февраля 2027 года.
Гранты выделяются на осуществление научных исследований в 2027–2029 годах.
Финансовое обеспечение проекта в размере от 2 до 3,5 млн рублей ежегодно формируется из гранта Фонда и паритетного финансирования региона.
Заявки на конкурс представляются до 17:00 (мск) 15 сентября 2026 года. Результаты конкурса будут подведены до 1 февраля 2027 года.
Гранты выделяются на осуществление научных исследований в 2027–2029 годах.
Размер одного гранта Фонда составит от 4 до 7 млн рублей ежегодно.
Заявки на конкурс представляются до 17:00 (мск) 15 октября 2026 года. Результаты конкурса будут подведены до 1 марта 2027 года.
Подробнее на сайте РНФ.
Правительством Российской Федерации объявлен конкурс работ на соискание премий Правительства Российской Федерации 2026 года в области образования, в области науки и техники, а также в области науки и техники для молодых ученых.
Премия присуждается за следующие достижения:
- высокие результаты в исследованиях, разработке и практическом применении новых методов и средств в медицине и здравоохранении;
- научно-исследовательские и опытно-конструкторские работы, завершившиеся созданием и широким применением в производстве принципиально новых технологий, техники, приборов, оборудования, материалов и веществ;
- практическую реализацию изобретений, открывающих новые направления в технике и технологиях и т.д.
Заявку на соискание премии необходимо подать до 20 февраля.
Порядок оформления и представления работ на соискание премий опубликован на сайте https://правпремии.рф.