Новости
Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова.
15 мая 2026 года лекцию прочитает Иван Валерьевич Оселедец, д.ф.-м.н., профессор РАН, генеральный директор Института AIRI, декан факультета искусственного интеллекта МГУ .
Тема: Развитие мультиагентных систем
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3), время - 16:20 15 мая.
Во время лекции будет вестись трансляция по MTS-Link.
19 апреля 2026 г. исполнилось 95 лет со дня рождения основателя сибирской школы программирования академика Андрея Петровича Ершова(1931–1988).
В ознаменование этой даты Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию.
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3). Начало Ершовских чтений - 14 мая в 10:00.
Приглашаются все желающие.
Во время Мемориальных чтений будет вестись трансляция по MTS-Link.
Во вторник 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-компонентной модели задачи и к доверенному решению с помощью гибридной мультиагентной архитектуры. Приводятся примеры применения в быту, образовании, медицине, коммерции, промышленности, науке и инженерии.
Новости за последний месяц
