Конференция "СПИСОК-2026"

Среди приглашенных участников конференции подтвердили участие:

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

В рамках конференции 28 апреля с 10.00 до 17.00 Axiom JDK организует секцию, посвященную виртуальным машинам и языкам программирования. Темы пленарных докладов:

• «Клауд-кодинг мультиплатыформенной эко-системы для языка ArkTS с нуля» (докладчик Н.Н. Иготти);
• «Интеграция GPU-вычислений в экосистему Java: подходы и инструменты» 
• «Kotlin: Теория и практика создания нового языка программирования» (докладчик Р.А. Елизаров)

Приглашаем студентов профильных направлений принять участие в качестве слушателей, а также выступить с докладом. Тезисы выступления будут опубликованы в сборнике трудов конференции c индексацией в РИНЦ. 

Будем рады рассмотреть доклады студентов на 15–20 минут по следующим направлениям:

• Виртуальные машины и среды исполнения — JIT- и AOT-компиляция, сборка мусора, управление памятью
• Проектирование и реализация языков — синтаксис, система типов, прагматика, пользовательский опыт
• Компиляторы и статический анализ — оптимизации, промежуточные представления, верификация
• Другие темы, связанные с виртуальными машинами и языками программирования

Доклады для рассмотрения к участию направлять на e-mail elena.khala@axiomjdk.ru

Срок подачи докладов до 19 апреля 2026г.