Новости
Во вторник 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)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Новости за последний месяц
