Открытая конференция ИСП РАН им. В.П. Иванникова

22 Ноября 2018 г.

08:30-09:30 - Регистрация. Приветственный кофе (Зеленый зал - Фойе)

09:30-11:30 - Пленарная секция (Синий Зал)

«История непрерывных инноваций»

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

Вопросы, рассматриваемые в рамках пленарной дискуссии охватывают, но не ограничиваются следующими темами:

• История, становления, развития, формирования бренда и репутации российских ИТ: от изоляции прошлого к лидерству будущего.
• Перспективы государственной поддержки развития математического и ИТ образования и науки.
• Стимулирование спроса  и  привлечение  инвестиций в ИТ сектор.
• Государственный и коммерческий заказ на ИТ разработки: опыт взаимодействия между заказчиками и разработчиками.
• Сохранение традиций и развитие современных образовательных технологий в математическом и ИТ образовании в условиях стремительно меняющегося запроса общества.
• Информационные технологии как самая междисциплинарная сфера исследований.

11:30-13:30 - Выставка технологий, Кофе, чай (Зеленый зал - Фойе)

13:30-14:30 - Обед

14:30-18:00 - Работа секций

Секция Управление данными и информационные системы (БЕЖЕВЫЙ ЗАЛ)

Управление данными и информационные системы

Секция предназначена для исследователей, специализирующихся в вопросах управления и анализа данных. Для участия приглашаются исследователи, разрабатывающие методы и системы хранения и анализа больших объемов текстовых, графовых, мультимедийных, научных и других типов данных. Вопросы, рассматриваемые в рамках данной секции охватывают, но не ограничиваются следующими темами:

• Интеллектуальный анализ данных и извлечение знаний.
• Математическая теория и методы машинного обучения и искусственного интеллекта.
• Математические модели процессов и явлений реального мира.
• Компьютерная лингвистика, Анализ и понимание текстов на естественном языке.
• Анализ социальных сетей, хранение и анализ больших графов.
• Обработка сигналов и анализ изображений.
• Анализ контента, созданного пользователями Интернета.
• Информационный поиск, рекомендательные системы.
• Онтологии и базы знаний.
• Информационные системы и технологии.
• Масштабируемые алгоритмы анализа данных.
• Прикладные задачи анализа данных.
• Очистка данных, интеграция разнородных данных, дедупликация данных.
• Инфраструктура для хранения и обработки больших объемов данных.
• Ключевые технологии создания частных и гибридных облаков.
• Высокопроизводительные вычисления и другие сервисы в облаках.
• Экосистема хранения и обработки больших массивов данных.
• Распределенные базы данных и технологии Data/Web Mining.
• Программные платформы интернет вещей.
• Динамическая балансировка нагрузки в эластичных облаках.
• Планирование потока задач в облачных центрах обработки данных.
• Энергосберегающие облачные инфраструктуры.

Секция Технологии анализа, моделирования и трансформации программ (СИНИЙ ЗАЛ)

Технологии анализа, моделирования и трансформации программ

Секция посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др. Вопросы, рассматриваемые в рамках данной секции охватывают, но не ограничиваются следующими темами:

• Обратная инженерия бинарного (исполняемого) кода.
• Выполнение программ в контролируемом окружении.
• Поиск ошибок и уязвимостей в исполняемом коде.
• Анализ сетевого трафика.
• Оптимизации в компиляторе и генерация кода.
• Статический и динамический анализ программ.
• Методы и инструменты анализа и тестирования программ.
• Запутывание программ (обфускация).

 

23 Ноября 2018 г.

09:30-10:00 - Регистрация. Приветственный кофе (Зеленый зал - Фойе)

10:00-11:20 - Работа секций

Секция Технологии распределенных реестров и блокчейнов (БЕЖЕВЫЙ ЗАЛ)

Технологии распределенных реестров и блокчейнов

Данная секция посвящена технологиям блокчейнов и распределенных реестров. В рамках данной секции будут рассматриваться следующие вопросы:

• Транзакции и валидация транзакций.
• Консенсус.
• Исполнение кода в реестре / блокчейне (smart contracts/chain code).
• Масштабируемость и производительность: хранение и конструирование блоков.
• Сетевые протоколы для распределенных реестров и блокчейнов.
• Безопасность и надежность. Новые угрозы, связанные с распределенными реестрами и блокчейнами.
• Доверие в недоверенных окружениях.

Секция Решение задач механики сплошных сред с использованием СПО (ЗЕЛЕНЫЙ ЗАЛ)

Секция Технологии анализа, моделирования и трансформации программ (СИНИЙ ЗАЛ)

11:20-11:40 - Кофе, чай

11:40-13:00 - Работа секций

13:00-14:00 - Обед

14:00-15:40 - Работа секций

15:40-16:00 - Кофе, чай

16:00-18:00 - Работа секций