Рабочий семинар «Наукоемкое программное обеспечение (НПО)»

2-3 июля 2019 г., Новосибирск, Академгородок

Институт систем информатики им.  А.П. Ершова СО РАН проводит в Новосибирском Академгородке рабочий семинар "Наукоемкое программное обеспечение (НПО)". Семинар пройдет в рамках 12-й международной Ершовской конференции по информатике (PSI’19).

Семинар  посвящен вопросам создания прикладного программного обеспечения; в ходе его работы будут представлены новые программные продукты и системы,  пройдут дискуссии представителей фундаментальной и прикладной науки с разработчиками  и заказчиками научного и наукоемкого программного обеспечения.

Тематика семинара:

  • Информационные технологии и информационные системы
  • Программное обеспечение для естественнонаучной деятельности
  • Предметно-ориентированные языки
  • Системное программирование
  • Прикладные интеллектуальные системы
  • Создание и программирование роботов
  • Технологии разработки мобильных приложений
  • Системы автоматизированного проектирования
  • Приложения биоинформатики
  • Технологии обработки текстов
  • Приложения геоинформатики
  • Технологии обработки сигналов и изображений
  • Приложения, ориентированные на пользователя (мультимедиа, поисковые системы, электронные публикации, электронные коллекции, информационные порталы)
  • Технологии обработки больших данных, методы машинного обучения
  • Бизнес-приложения

Программный комитет

  • А.Г. Марчук,  ИСИ СО РАН, Новосибирск – председатель
  • Ю.А. Загорулько, ИСИ СО РАН, Новосибирск – сопредседатель
  • Т.В. Батура, ИСИ СО РАН, Новосибирск – секретарь программного комитета
  • А.И. Аветисян, ИСП РАН, Москва
  • И.Р. Агамирзян, НИУ ВШЭ, Москва
  • З.В. Апанович, ИСИ СО РАН, Новосибирск 
  • М.А. Бульонков, ИСИ СО РАН, Новосибирск
  • Ю.М. Зыбарев,  ФИЦ ИЦиГ СО РАН, Новосибирск
  • В.Е. Зюбин, ИАиЭ СО РАН, Новосибирск
  • A.A. Колташев, АО «ИСС» имени академика М.Ф. Решетнёва», Железногорск
  • М.Г. Курносов, СибГУТИ, Новосибирск
  • М.М. Лаврентьев, ИАиЭ СО РАН, НГУ, Новосибирск
  • Д.С. Мигинский, ИСИ СО РАН, Новосибирск
  • Ф.А. Мурзин, ИСИ СО РАН, Новосибирск
  • А.Ю. Пальянов, ИСИ СО РАН, Новосибирск
  • О.И. Потатуркин, ИАиЭ СО РАН, Новосибирск
  • А.Н. Терехов, СПбГУ, ООО «Ланит-Терком», Санкт-Петербург
  • И.А. Травина, СофтЛаб-НСК, Новосибирск
  • В.К. Трофимов, СибГУТИ, Новосибирск
  • А.Н. Фионов, СибГУТИ, Новосибирск
  • Д.Н. Штокало, ИСИ СО РАН, Новосибирск

Структура семинара

В рамках семинара предполагается представление докладов, проведение круглых столов, демонстрация программного обеспечения.

Представление докладов

В качестве доклада могут представляться оригинальные научные результаты, наукоемкие программные разработки, проекты и прототипы программных продуктов. Принимаются доклады объемом от 4 до 6 страниц на русском или английском языках. Шаблон для подготовки доклада можно скачать здесь.

Тексты докладов высылать на адрес секретаря программного комитета (tbatura@iis.nsk.su).

Публикация докладов семинара

Доклады рабочего семинара «Наукоемкое программное обеспечение» будут изданы в виде отдельного тома и проиндексированы в РИНЦ. Расширенные версии избранных докладов будут рекомендованы для публикации в рейтинговом журнале «Вестник СибГУТИ» (входит в перечень ВАК).

Информационное обеспечение

Условия участия в семинаре и дополнительная информация о нем будут опубликованы позже.

По всем вопросам, касающимся проведения семинара НПО и участия в нем, можно обращаться:

  • Александр Гурьевич Марчук  (mag@iis.nsk.su) – председатель
  • Татьяна Викторовна Батура  (tbatura@iis.nsk.su) – секретарь

Стоимость участия

Оргвзнос за участие в семинаре «Наукоемкое программное обеспечение» составляет:

  • 3000 р. – для представителей коммерческих организаций,
  • 2000 р. – для представителей научных и образовательных учреждений,
  • 1000 р. – для аспирантов и студентов.

Дополнительно участники семинара могут приобрести билеты на банкет конференции PSI’19 и культурные мероприятия.

Важные даты

  • Представление полных текстов: 15 апреля 2019 г.
  • Уведомление о принятии (электронной почтой): 30 апреля 2019 г.
  • Проведение семинара: 2-3 июля 2019 г.

Предварительная программа семинара
«Наукоемкое программное обеспечение (НПО)»

Новосибирский государственный университет, ауд. 3307
(ул. Пирогова, 1)

2 июля, вторник
8:00–9:00 Регистрация участников (холл 1 этажа, блок 3)
9:00–9:30 Открытие конференции
9:30–10:30 Пленарный доклад (на английском языке с синхронным переводом).
Moshe Vardi. Automated-Reasoning Revolution: From Theory to Practice and Back
10:30–11:00 Кофе-брейк
11:00–12:00 Пленарный доклад (на английском языке с синхронным переводом).
Andrew Yao. Fintech and Its Scientific Drivers
12:00–14:00 Посещение научно-образовательного центра «Эволюция Земли»
14:00–15:00 Обед

Дом ученых СО РАН, к. 217
(Морской проспект, 23)

2 июля, вторник
15:00–15:20 Голубева Л.А., Горшунов В.С., Ильин В.П. Модель управления вычислительным комплексом, реализованным на основе концепции БСМ
15:20–15:40 Шелехов В.И. Разработка сертифицированного компилятора предикатных программ
15:40–15:55 Городняя Л.В. О классификации парадигм и языков программирования
15:55–16:15 Адамович А.И., Климов А.В. Принципы построения системы детерминированного параллельного программирования
16:15–16:30 Сердюков К.Е., Авдеенко Т.В. Применение генетического алгоритма для генерации входных данных при тестировании программного кода
16:30–17:00 Кофе-брейк
17:00–17:15 Платонова М.В. Графическое моделирование на базе Eclipse в системах управления
17:15–17:30 Abdikerimova G.B., Bychkov A.L., Wei X., Murzin F.A., Russkikh N.E., Ryabchikova E.I., Khayrulin S.S. Algorithms and software tools for analysis of textural images
17:30–17:45 Krainikovsky S.S., Melnikov M.Ye., Samarev R.S. Predicting personality from image preferences: how can machine learning help us?
17:45–18:00 Кантуреева М.А. Применение клеточных автоматов для моделирования движения группы людей
19:00–22:00 Банкет (ресторан Дома ученых)
3 июля, среда
9:30–9:50 Бульонков М.А., Нестеренко Т.В. Система поддержки прогнозирования развития опорной транспортной сети России
9:50–10:10 Загорулько Г.Б., Массель Л.В. Разработка интеллектуальной СППР по угрозам энергетической безопасности
10:10–10:30 Бабурин Д.Е. Как устроены современные высокопроизводительные биржевые инфраструктуры
10:30–10:45 Абрамов Е.П., Махажанова У.Т., Мурзин Ф.А. Принятие решений в области кредитования на основе размытой логики Заде
10:45–11:00 Бочарников А.В., Игнатьева Е.В., Вишневский О.В. Использование графических ускорителей для выявления функциональных сигналов в регуляторных районах генов прокариот
11:00–11:30 Кофе-брейк и групповая фотография
11:30–11:50 Есикова Т.Н., Вахрушева С.В. Разработка МАС для имитации процесса реализации проекта трансконтинентальной магистрали через Берингов пролив (моделирование информационного пространства)
11:50–12:10 Ахметова А.Ж., Ла Л.Л., Мурзин Ф.А. Теория социального влияния Латане и ее применение для анализа окружения пользователя в социальной сети
12:10–12:30 Сидорова Е.А. Инструментарий для исследования лексических характеристик текста
12:30–12:45 Батура Т.В., Бакиева А.М. Система автореферирования научно-технических текстов
12:45–13:00 Батура Т.В., Ефимова Л.В., Еримбетова А.С., Касекеева А.Б., Мурзин Ф.А. Анализ временных и пространственных понятий, встречающихся в текстах на естественном языке
13:00–14:00 Обед
14:00–15:30

Круглый стол. Приглашаются участники семинаров «Наукоемкое программное обеспечение», «Информатика образования», «Семантика, спецификация и верификация программ»

Темы:

Лаврищева Е.М. Развитие технологии программирования после А.П. Ершова.
Лаврентьев М.М., Городняя Л.В., Держо М.А., Мигинский Д.С. Вопрос карьерных перспектив в области ИТ.
15:30–16:00 Кофе-брейк
16:00–17:00

Круглый стол (продолжение).

Темы:

Мигинский Д.С. Образование в компьютерных науках: ожидания и реальность.
Панькова А. Кадровый дефицит в IT-индустрии.
17:00–21:00 Посещение Новосибирской государственной филармонии