ruenmonch
AAAТема белого цветаТема черного цвета
Логотип АлтГТУАлтайский государственный технический университет им. И.И. Ползунова
Научно-организационный отдел

Международная Ершовская конференция по информатике PSI–2017

08.12.2016 16:44
Организатор:
Институт системного программирования РАН и другие
Даты проведения:
26.06.2017 — 29.06.2017
Срок подачи заявки:
13.01.2017
Официальный сайт:
http://psi.ispras.ru/

26–29 июня 2017 года в Москве пройдет Международная Ершовская конференция по информатике PSI–2017. Конференция посвящена рассмотрению и глубокому обсуждению передовых научно-исследовательских направлений и прикладных аспектов современной информатики. Расширение контактов и обмен мнениями между учеными Востока и Запада составляет еще одну цель конференции.

Темы конференции:

  • Теоретические основы разработки и анализа программ и систем
  • Парадигмы программирования и автоматизированного производства программ
  • Информационные технологии

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

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов (приблизительно 15 страниц и сообщений (не более 9 стр.), представленных на конференции, будут опубликованы издательством Springer-Ferlag в серии «Lecture Notes in Computer Science». Труды предыдущих конференций можно найти в Lecture Notes in Computer Science, vol. 1181, 1755, 2244, 2890, 4378, 5947, 7162, 8974 и 9609, соответственно.

Срок подачи заявки до 13 января 2017 г.