Есть конференции, куда идут за нетворком. А есть такие, куда идут за средой, в которой вырастают сильные инженеры, исследователи и создатели сложных технологий. СПИСОК — именно такая конференция.

С 27 по 30 апреля 2026 года на базе матмеха СПбГУ пройдет всероссийская научная конференция по проблемам информатики СПИСОК-2026.

В этом году конференция посвящена памяти Андрея Николаевича Терехова — доктора физико-математических наук, профессора, многолетнего руководителя кафедры системного программирования СПбГУ, человека, который во многом сформировал эту школу и заметно повлиял на развитие российской ИТ-среды.

Свое участие в конференции уже подтвердили:

  • Юрий Владимирович Матиясевич — математик, член РАН, известный решением десятой проблемы Гильберта

  • Алексей Владимирович Саватеев — математик, популяризатор теории игр и логики

Для Axiom JDK поддержка СПИСКА — не формальность и не просто партнерское участие. Для нас это большая честь и искренняя радость — быть частью конференции, которая опирается на сильную университетскую школу, поддерживает научную традицию и собирает людей, способных заниматься по-настоящему сложными темами.

Мы работаем в области Java, виртуальных машин и системного софта и хорошо понимаем: специалисты такого уровня не появляются сами по себе. Они вырастают в сильных вузах, вокруг сильных кафедр, научных руководителей и профессионального сообщества. Поэтому для нас особенно важно поддерживать такие конференции и такие школы — чтобы в России сохранялась среда, в которой формируются ведущие специалисты, а затем работают на благо российского бизнеса и всей технологической отрасли.

В рамках СПИСОК-2026 Axiom JDK организует секцию «Виртуальные машины и языки программирования». Для нас это возможность поддержать профессиональное сообщество, которому действительно интересны фундаментальные и инженерные вопросы: как устроены среды исполнения, как проектируются языки, как работают компиляторы, JIT, AOT, сборка мусора, оптимизации, статический анализ и верификация.

Темы секции:

  • виртуальные машины и среды исполнения

  • JIT- и AOT-компиляция

  • сборка мусора и управление памятью

  • проектирование и реализация языков

  • компиляторы и статический анализ

  • оптимизации, промежуточные представления, верификация

Пленарные доклады секции:

  • «Клауд-кодинг мультиплатформенной экосистемы для языка ArkTS с нуля» — Н. Н. Иготти

  • «Интеграция GPU-вычислений в экосистему Java: подходы и инструменты»

  • «Kotlin: теория и практика создания нового языка программирования» — Р. А. Елизаров

Для нас это не просто программный слот в расписании конференции. Это возможность поддержать среду, из которой выходят инженеры, способные создавать компиляторы, рантаймы, средства анализа кода и другие технологии, без которых невозможна сильная ИТ-индустрия.

Если вы студент, аспирант или молодой инженер и занимаетесь языками программирования, рантаймами, JVM, компиляторами или смежными темами — приходите. А еще лучше — подавайте доклад в секцию Axiom JDK. Для молодого исследователя это хороший шанс не просто выступить, а попасть в содержательный разговор с людьми, которые действительно понимают предмет. Тезисы выступления будут опубликованы в сборнике трудов конференции c индексацией в РИНЦ. 

Зарегистрироваться на секцию Axiom JDK или подать доклад

У СПИСКА длинная и важная история. Первая конференция прошла в 2009 году в Екатеринбурге как межвузовская научная конференция по проблемам информатики, а затем получила развитие в Санкт-Петербурге. Само название тоже символично: СПИСОК — это не только знакомая каждому программисту структура данных, но и аббревиатура, отражающая ключевые направления конференции: Системное Программирование, Интеллектуальные Системы, Обеспечение Качества.

Сегодня СПИСОК — это уже не узкая конференция «только для своих». В программе 2026 года есть системное программирование, фундаментальная информатика, машинное обучение, робототехника, биоинформатика и другие современные направления. Но особенно важно, что ее системное ядро никуда не делось. Здесь по-прежнему обсуждают вещи, на которых потом строятся реальные технологические продукты.

Когда: 27 - 30 апреля 2026 г.

Формат: Офлайн

Детали конференции: spisok.math.spbu.ru

Подать доклад или зарегистрироваться на секцию Axiom JDK: по ссылке