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 г.
