начало 26/06/2017
окончание 29/06/2017

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

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

Теоретические основы разработки и анализа программ и систем.

  • Спецификация, трансформация и верификация программ;
  • Семантика, логика и формальные модели программ;
  • Смешанные вычисления, абстрактная интерпретация и построение компиляторов;
  • Доказательство теорем и тестирование моделей;
  • Статический анализ программ;
  • Моделирование и анализ систем реального времени и гибридных систем;
  • Высокопроизводительные вычисления.

Парадигмы программирования и автоматизированного производства программ.

  • Объектно-ориентированное, аспектно-ориентированное, компонентное и родовое программирование;
  • Программирование для параллельных и распределенных вычислений;
  • Программирование в ограничениях;
  • Мультиагентные технологии;
  • Перепрограммирование и переиспользование систем;
  • Интегрированные программные обстановки;
  • Архитектура программного обеспечения;
  • Разработка и тестирование программ;
  • Инструментарий программного обеспечения;
  • Облачные вычисления;
  • Веб-сервис в технологии программирования;
  • Понимание и визуализация программ.

Информационные технологии.

  • Базы данных и информационные системы;
  • Базы знаний и конструирование знаний;
  • Электронная коммерция;
  • Электронные библиотеки и Веб-публикации;
  • Онтологии и семантический Web;
  • Обработка естественно-языковых текстов.

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

Место проведения конференции

Конференция состоится в Москве, столице Российской Федерации.

Сопредседатели конференции

Динес Бьорнер, технический университет Дании. 

Виктор Иванников, Институт системного программирования РАН, Москва.

 

Наблюдательный совет

Игорь Агамирзян, Национальный исследовательский университет Высшая школа экономики, Москва. 

Динес Бьорнер, технический университет Дании. 

Виктор Иванников, Институт системного программирования РАН, Москва. 

Александр Марчук, Институт систем информатики СО РАН, Новосибирск. 

Бертран Мейер, Высшая техническая школа, Цюрих, Швейцария.

 

Сопредседатели программного комитета

Александр Петренко, Институт системного программирования РАН, Москва. 

Андрей Воронков, Манчестерский университет, Великобритания.

Организаторы конференции


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

  • Майкл Джерард Хинчи, директор Ирландского исследовательского центра программного обеспечения (Lero) при университете Лимерика (Ирландия) и основатель и главный редактор журнала NASA Journal Innovations in Systems and Software Engineering, поднимет тему построения отказоустойчивых космических систем.
  • Андрей Сабельфельд, профессор факультета компьютерных наук и инженерии Технического университета Чалмерса и Гётеборгского университета (Швеция), затронет проблему поиска уязвимостей без прямого отслеживания полученных извне данных.
  • Шрирам Раджамэни, управляющий директор Microsoft Research India, посвятит свое выступление тому, как сделать облачные технологии более безопасными.


Материалы конференции

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

Требования к текстам докладов

Текст докладов на английском языке должен быть четким и достаточно подробным, с тем, чтобы Программный Комитет мог оценить все достоинства работы. Статья должна быть оформлена в соответствии с инструкцией для авторов издательства Шпрингер-Ферлаг.

PS или PDF-файл статьи следует загрузить на сайт конференции по ссылке.

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

Важные даты

  • 13 января 2017 г.: представление аннотаций.
  • 20 января 2017 г.: представление докладов.
  • 1 апреля 2017 г.: уведомление о принятии.
  • 26–29 июня 2017 г.: проведение конференции.
  • 1 сентября 2017 г.: представление окончательных текстов докладов и сообщений.

Семинары

В рамках конференции пройдут следующие семинары:

  • Семантика, спецификация и верификация программ PSSV–2017, http://pssv-conf.ru/
  • Наукоемкое программное обеспечение.
  • Информатика образования.

Подробная информация о семинарах будет представлена позже.

Веб-сайт конференции

psi.ispras.ru

Адрес для переписки

psiconf2017@gmail.com

Источники

Международная Ершовская конференция по информатике PSI–2017
ИСП РАН, 29/11/2016
11-я Международная Ершовская конференция по информатике PSI-2017 пройдет в Москве 26-29 июня
Наука и жизнь (nkj.ru), 14/06/2017
11-я Международная Ершовская конференция по информатике PSI-2017
Mskit.ru, 16/06/2017
11-я Международная Ершовская конференция по информатике PSI-2017
Nnit.ru, 16/06/2017
11-я Международная Ершовская конференция по информатике PSI-2017
Osp.ru, 16/06/2017
В Москве состоится 11-я Международная Ершовская конференция по информатике PSI-2017
Российская академия наук (ras.ru), 16/06/2017
В Москве состоится Международная Ершовская конференция по информатике PSI-2017
ПЛАС (plusworld.ru), 16/06/2017
11-я Международная Ершовская конференция по информатике PSI-2017 пройдет в Москве в конце июня
Экспертный центр электронного государства (d-russia.ru), 21/06/2017
26-29 июня - XI Международная Ершовская конференция по информатике PSI-2017
ИА Rambler News Service (rns.online), 23/06/2017

Похожие новости

  • 02/06/2017

    В МСЦ РАН проходит Международная конференция IXPUG Russia 2017

    ​Международная конференция IXPUG Russia (Intel Xeon Phi Users Group) относится к числу ИТ-мероприятий, ежегодно проводимых в России под эгидой Intel. Она посвящена практическим вопросам создания и отладки многопоточных приложений для их эффективной работы на процессорах семейства Xeon Phi.
    266
  • 12/07/2017

    В Москве прошла Ершовская конференция PSI-2017

    Одна из наиболее авторитетных международных ИТ-конференций, PSI-2017, состоялась в конце июня в главном здании Российской академии наук. Ее участниками стали представители фундаментальной и прикладной науки, приехавшие в Москву со всего мира.
    148
  • 09/12/2015

    Международная школа El Manuscript-201 прошла в НГУ

    ​Международная научная школа "Письменное наследие и информационные технологии" (El'Manuscript-2015) проходила в университете с 10 по 28 ноября. Руководителем школы El'Manuscript-2015 стала доктор филологических наук, заведующая кафедрой древних литератур и литературного источниковедения гуманитарного факультета НГУ Елена Ивановна Дергачева-Скоп.
    1056
  • 27/10/2015

    В Академпарке открывается первая в России конференция по биомедицинской инженерии и вычислительным технологиям в биологии и медицине

    ​28 октября в Технопарке Новосибирского Академгородка стартует SIBIRCON/SibMedInfo - 2015 - крупнейшая конференция по биомедицинской инженерии, проводимая в России под эгидой международной ассоциации специалистов в области техники Institute of Electrical and Electronics Engineers (IEEE).
    1048
  • 31/07/2017

    Споры полезны для программистов

    Ершовская конференция по информатике PSI-2017 собрала под крышей Главного здания Российской академии наук программистов и математиков со всего мира. Представители фундаментальной и прикладной науки, теоретики и практики обсудили настоящее и будущее программирования, особенное внимание уделив вопросам безопасности.
    100
  • 13/04/2016

    По итогам форума «Индустрия Информационных Систем»

    ​6 и 7 апреля в МВК "Новосибирск Экспоцентр" состоялся VIII Сибирский форум "Индустрия Информационных Систем" - уникальное мероприятие, которое прошло совместно с выставкой "IT-Сибирь.
    1331
  • 16/11/2016

    Международная конференция по вычислительной и прикладной математике (ВПМ’17) в рамках «Марчуковских научных чтений»

    ​​Институт вычислительной математики и математической геофизики СО РАН с 25 по 30 июня 2017 г. проводит в рамках «Марчуковских научных чтений» Международную конференцию по вычислительной и прикладной математике (ВПМ'17).
    1187
  • 29/03/2016

    В Новосибирске состоится ​VIII Сибирский форум "ИНДУСТРИЯ ИНФОРМАЦИОННЫХ СИСТЕМ" (СИИС-2016)

    Международный ИТ-форум соберет 6,7 апреля 2016 года на площадке МВК "Новосибирск Экспоцентр" ведущих разработчиков программного обеспечения и средств автоматизации, а также представителей органов государственной власти, муниципалитетов, госкорпораций, крупных промышленных предприятий, образовательных и научных организаций.
    1257
  • 19/04/2016

    В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

    ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н.
    1032
  • 27/04/2015

    Международная конференция «Актуальные проблемы вычислительной и прикладной математики 2015» (АПВПМ-2015), посвященную 90-летию со дня рождения академика Гурия Ивановича Марчука

    ​Институт вычислительной математики и математической геофизики СО РАНпри поддержкеСибирского отделения Российской академии наук,Федерального агентства научных организаций (по согласованию),Правительства Новосибирской области (по согласованию),Мэрии города Новосибирска (по согласованию),Института вычислительной математики РАН,Института вычислительного моделирования СО РАН,Института вычислительных технологий СО РАН,Института математики им.
    1738