PSI'09
A.P. Ershov Institute of Informatics Systems
Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS»
 

15-19 июня 2009 г., Новосибирск, Академгородок, Россия


Сообщение о конференции

Цели и задачи

ПСИ - это форум, на котором собираются ученые, разработчики и пользователи программного обеспечения, работающие как в науке, так и в промышленности. Цель конференции - наведение мостов между этими сообществами, интересы которых затрагивают такие области, как разработка и анализ программ и систем, методология и технология программирования, информационные технологии. Этот форум позволяет обсудить различные методы и подходы и тем самым помочь специалистам в повышении надежности и эффективности методов, алгоритмов и инструментария разработки программных и информационных систем. Предыдущие конференции, состоявшиеся в 1991, 1996, 1999, 2001, 2003 и 2006 годах, явились крупными международными событиями и прошли весьма успешно.

Конференция посвящается памяти Андрея Петровича Ершова, одного из российских пионеров в области теоретического и системного программирования, и важной дате в истории отечественной информатики - 50-летию Отдела программирования, основателем которого он является.

Первоначально Отдел программирования создавался в Институте математики Сибирского отделения Академии наук СССР, а в 1964 году, после образования Вычислительного центра СО АН, вошел в его состав. А.П. Ершов собрал в своем Отделе команду выпускников лучших советских вузов. Первым большим проектом Отдела стало создание системы Альфа - оптимизирующего транслятора с языка Альфа, являвшегося расширением Алгола 60, для ЭВМ М-20. Этот транслятор был признан одним из лучших в своем классе и широко использовался для решения научных и технических задач не только в СОАН СССР, но и во всей стране.

Далее силами этого коллектива были созданы системы Алгибр, Эпсилон, Сигма, транслятор Альфа-6 для ЭВМ БЭСМ-6. Среди достижений Отдела следует упомянуть создание первой в СССР системы разделения времени АИСТ-0, многоязыковой системы Бета, исследовательские проекты в области искусственного интеллекта и параллельного программирования, системы автоматизированной обработки текстов, издательские системы и многое другое. С течением времени расширялся круг задач, стоящих перед коллективом, менялась его организационная структура, появлялись новые направления исследований, такие, как школьная информатика, смешанные вычисления. Институт систем информатики, носящий имя Андрея Петровича Ершова и по праву считающийся наследником и продолжателем лучших традиций Отдела программирования, был создан в 1990 г.

Председатель конференции

Александр Марчук
Институт систем информатики им. А. П. Ершова СО РАН & Новосибирский государственный университет, Новосибирск, Россия

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

  • Манфред Брой
    Институт информатики, Технический университет, Мюнхен, Германия
  • Бертран Мейер
    Высшая техническая школа, Цюрих, Швейцария и Эйфель Софтвер, США
  • Андрей Воронков
    Манчестерский университет, Великобритания

Почетные члены наблюдательного совета

  • Тони Хоар
    Майкрософт Рисерч, Кембридж, Великобритания
  • Никлаус Вирт
    Отделение информатики, Высшая техническая школа, Цюрих, Швейцария

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

  • Амир Пнуэли
    Нью-Йоркский университет, Нью-Йорк, США и Научно-исследовательский институт им. Вейцмана, Реховот, Израиль
  • Ирина Вирбицкайте
    Институт систем информатики им. А.П. Ершова СО РАН & Новосибирский государственный университет, Новосибирск, Россия
  • Андрей Воронков
    Манчестерский университет, Великобритания

Секретарь программного комитета

Наталья Черемных
Институт систем информатики им. А.П. Ершова,
6, пр. Акад. Лаврентьева,
630090 Новосибирск, Россия
тел.: +7 383 3307352
факс: +7 383 3323494
e-mail: psi09@iis.nsk.su

Тематика конференции

Тематика конференции включает следующие разделы:

  1. Основания анализа и разработки программ и систем
  • методы спецификации, валидации и верификации,
  • анализ, синтез и преобразования программ,
  • семантика, логика и формальные модели программ,
  • частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов,
  • доказательство теорем и проверка моделей,
  • теория параллелизма,
  • моделирование и анализ систем реального времени и гибридных систем.
  1. Методология и технология программирования
  • объектно-ориентированное, компонентное и родовое программирование,
  • программирование по контракту,
  • создание систем и программ для параллельных и распределенных вычислений,
  • программирование в ограничениях,
  • мультиагентные технологии,
  • перепрограммирование и переиспользование систем,
  • интегрированные программные обстановки,
  • архитектура программного обеспечения,
  • разработка и тестирование программ,
  • модельно-управляемая разработка систем и программ,
  • “быстрая” разработка программного обеспечения,
  • инструментарий технологии программирования,
  • понимание и визуализация программ.
  1. Информационные технологии
  • модели данных,
  • базы данных и информационные системы,
  • базы знаний и конструирование знаний,
  • технологии биоинформатики,
  • онтологии и семантический web,
  • электронные библиотеки, собрания и архивы, web-публикации,
  • управление равноправными данными.

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

Члены программного комитета

Приглашенные докладчики

 

 

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

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

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

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

Регистрация авторов, представление заявок и докладов на конференцию будут организованы в Интернете с помощью системы Easychair. Заявку, включающую краткую аннотацию, следует загрузить на сайт не позднее 8 февраля 2009 г. PostScript- или PDF-файл доклада (до 12 страниц) или сообщения (до 7 страниц) необходимо загрузить на сайт не позднее 15 февраля 2009 г.

Пожалуйста, используйте для подготовки текста LaTeX2е, стиль llncs. На сервере издательства Springer-Verlag можно найти подробную информацию для авторов (см. http://www.springeronline.com).

Подтверждение получения всех представляемых работ будет отправлено по электронной почте в течение двух дней. Авторы будут уведомлены о принятии докладов до 2 апреля 2009 г.

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

Участники получат на конференции предварительный сборник принятых докладов и сообщений. Окончательные тексты докладов и сообщений, представленных на конференции, будут опубликованы в издательстве Springer-Verlag в серии "Lecture Notes in Computer Science" после конференции. Труды предыдущих конференций напечатаны в Lecture Notes in Computer Science, Vol. 1181, 1755, 2244, 2890 и 4378, соответственно. Отчет о последней конференции можно найти в журнале "Программирование", № 3, 2007 г.

Как добраться

В Новосибирск можно добраться самолетом рейсами Аэрофлота, Трансаэро или S7 Airlines. Все эти компании предоставляют теперь возможность купить электронные билеты на вебсайтах компаний и оплатить их картой VISA или другими распространенными платежными картами. Всех участников встретят в аэропорту Толмачево и доставят в гостиницу в Академгородке.

Рабочие семинары

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

Важные даты

  • 28 февраля 2009 г.: представление текстов докладов.
  • 2 апреля 2009 г.: уведомление о принятии (электронной почтой).
  • 15-19 июня 2009 г.: проведение конференции.
  • 1 сентября 2009 г.: представление окончательных текстов докладов и сообщений.

 

Разработка и дизайн:
xTech

© 2008-2017 ИСИ СО РАН

WebmasterWebmaster