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