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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

 

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

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

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

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

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

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов (приблизительно 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

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

  • 27/03/2017

    Хакатон по биоинформатике LifeCode-2017 в НГУ

    В НГУ пройдёт хакатон по биоинформатике LifeCode-2017. Хакатон — это мероприятие, на котором участники собираются в команды и несколько дней работают, решают интересные задачи. В конце каждая команда делает короткую презентацию о результатах своего труда, эксперты оценивают проекты и выбирают победителей.
    175
  • 23/03/2017

    25 апреля пройдет финал стартап-акселератора GenerationS

    Финал крупнейшего в России и Восточной Европе стартап-акселератора GenerationS пройдет в Москве в концертном зале Stadium Live. Общая стоимость призов превысит 100 млн руб. Тогда же из восьми финалистов отберут трех победителей.
    182
  • 28/01/2016

    Программа празднования Дней российской науки в СО РАН

    ​​8 февраля — День российской науки. Во всех научных центрах Сибирского отделения РАН с 8 по 12 февраля состоятся праздничные мероприятия. В Дни открытых дверей в институтах можно будет посетить научные лаборатории, увидеть уникальное оборудование и приборы, послушать лекции по актуальным вопросам науки, побеседовать с ведущими учеными, посмотреть фильмы о науке.
    1461
  • 16/11/2016

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

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

    В Новосибирске пройдет лекция, посвященная применению IT-технологий в работе ГПНТБ СО РАН

     ​1 марта 2017 г. в 15.00 в малом зале ДУ СО РАН состоится лекция директора ГПНТБ СО РАН к.т.н. Андрея Евгеньевича Гуськова "О мальчике, который искал только в Яндекс". Лекция посвящена IT-технологиям, применительно к работе самой крупной за Уралом научной библиотеке — ГПНТБ СО РАН.
    227
  • 16/09/2016

    Фестиваль науки-2016

    ​Ежегодный Фестиваль науки, организуемый правительством НСО, будет проходить в Новосибирске 27 и 28 сентября под девизом "Наука - образы будущего".       "Новое знание через виртуальный и реальный эксперимент" – тема, которую будут развивать в своих лекциях ученые Сибирского отделения РАН для школьников и учителей области и города.
    686
  • 27/04/2015

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

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

    XII Ершовская лекция по информатике и программированию

    Новосибирский региональный общественный фонд информатики и искусства программирования им. академика А.П. Ершова, Институт систем информатики имени А.П. Ершова СО РАН, Технопарк Новосибирского Академгородка при поддержке Мэрии г.
    96
  • 11/04/2017

    IV Конференция «Боресковские чтения»

    IV Конференция «Боресковские чтения» проводится в год 110-летия со дня рождения академика Георгия Константиновича Борескова в Новосибирском Академгородке с 19 по 21 апреля 2017 г. Научная программа конференции включает пленарные и ключевые лекции приглашенных российских и зарубежных лекторов, а также устные и стендовые доклады.
    507
  • 16/12/2016

    ФАНО России проведет пресс-конференцию об итогах года

    ​Во вторник, 20 декабря 2016 года, в 12:00 мск в ТАСС (Тверской бульвар, дом 2, 2-й этаж) состоится пресс-конференция, посвященная итогам работы Федерального агентства научных организаций (ФАНО России) в 2016 году и планам на 2017 год.
    344