Цели и задачи
Темы конференции
Место проведения конференции
Председатель конференции
Наблюдательный комитет
Сопредседатели программного комитета
Члены программного комитета
Секретарь программного комитета
Приглашенные лекторы
Требования к текстам докладов
Рабочие семинары
Важные даты

Цели и задачи

Конференция посвящается 75-й годовщине со дня рождения академика Андрея Ершова (1931–1988) и имеет целью отметить его выдающийся вклад в развитие информатики. Предыдущие конференции, состоявшиеся в мае 1991 г., июне 1996 г., июле 1999 г., июле 2001 г. и в июле 2003 г., явились крупными международными событиями и прошли весьма успешно.

Андрей Петрович Ершов был одним из российских пионеров в области теоретического и системного программирования, основателем Сибирской школы информатики. В 1974 г. он был избран почетным членом Британского общества информатики, в 1981 г. получил награду — Серебряный сердечник — за участие в подготовке Конгресса ИФИП. Блестящие выступления Андрея Ершова всегда оказывались в центре внимания научной общественности. Его лекция "Эстетический и человеческий фактор в программировании", прочитанная в 1972 г. на конференции AFIPS, привлекла в свое время всеобщее внимание и сохраняет актуальность до сих пор.  Андрей Ершов был не только исключительно талантливым ученым, учителем и борцом за свои идеи, но и яркой, многосторонней личностью. Он занималс поэзией, переводил произведения Р. Киплинга и других английских поэтов, играл на гитаре и пел. Все, кто имел удовольствие знать Андрея Ершова и работать с ним, всегда будут помнить его большой дар предвидения, выдающиес достижения и щедрую дружбу.

Целью конференции является представление и глубокое обсуждение передовых научно-исследовательских направлений информатики. Для такой развивающейся науки, каковой является информатика, важно выработать консолидирующие идеи, концепции и модели. Расширение контактов и обмен мнениями между учеными Востока и Запада составляет другую цель конференции.

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

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

Основания анализа и разработки программ и систем

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

Методология и технология программирования

• объектно-ориентированное, компонентное и родовое программирование;
• программирование по контракту;
• создание систем и программ для параллельных и распределенных вычислений;
• программирование в ограничениях;
• мультиагентные технологии;
• перепрограммирование и переиспользование систем;
• интегрированные программные обстановки;
• архитектура программного обеспечения;
• разработка и тестирование программ;
• модельно-управляемая разработка систем и программ;
• «быстрая» разработка программного обеспечения;
• инструментарий технологии программирования;
• понимание и визуализация программ.

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

• модели данных,
• базы данных и информационные системы;
• базы знаний и конструирование знаний;
• онтологии и семантический web;
• электронные библиотеки, собрания и архивы, web-публикации;
• управление равноправными данными.

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

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

Конференция состоится в Академгородке, расположенном в живописном месте на берегу Обского моря, в 30 км от Новосибирска — крупнейшего города Сибири. Здесь не только приятно работать, здесь хорошо отдыхать. Тишина, красивый ландшафт и чистый воздух способствуют творческой деятельности.

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

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

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

Манфред Брой, Институт информатики, Технический университет Мюнхена, Германия

Динес Бьорнер, Институт информатики и математического моделирования, Лингби, Дания

Aлександр Замулин, Институт систем информатики имени А.П. Ершова, Новосибирск, Россия

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

Ирина Вирбицкайте, Институт систем информатики имени А.П. Ершова, Новосибирск, Россия

Андрей Воронков, Исследовательская лаборатория Микрософт, Редмонд, США

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

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

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

Скотт Амблер, Торонто, Канада
Эгидио Астезиано, Генуя, Италия
Янис Барздинь, Рига, Латвия
Фредерик Бенаму, Нант, Франция
Стефан Брасс, Халле, Германия
Эд Бринксма, Твенте, Нидерланды
Ким Брюс, Помона, Калифорния, США
Михаил Бульонков, Институт систем информатики имени А.П. Ершова, Новосибирск, Россия
Александр Вольф, Боулдер, США
Иван Голосов, Новосибирск, Россия
Ян Фризо Груте, Эйндховен, Нидерланды
Крис Джордж, Макао
Серж Демейер, Антверпен, Бельгия
Александр Диковский, Нант, Франция
Ванг И , Уппсала, Швеция
Виктор Иванников, Москва, Россия
Виктор Касьянов, Новосибирск, Россия
Йост-Питер Катун, Аахен, Германия
Поль Клементс, Питтсбург, США
Александр Клещев, Владивосток, Россия
Николай Колчанов, Новосибирск, Россия
Григорий Кучеров, Нанси, Франция
Йохан Лилиус, Турку, Финляндия
Доминик Мери, Нанси, Франция
Бернхард Меллер, Аугсбург, Германия
Торбен Могенсен, Копенгаген, Дания
Ганспетер Моссенбек, Линц, Австрия
Петер Моссес, Свонси, Великобритания
Рон Моррисон, Св.Эндрюс, Великобритания
Федор Мурзин, Новосибирск, Россия
Питер Мюллер, Цюрих, Швейцария
Валерий Непомнящий, Новосибирск, Россия
Николай Никитченко, Киев, Украина
Хосе Парама, А Корунья, Испания
Франческо Паризи-Презиччи, Вирджиния, США
Войцех Пенчек, Варшава, Польша
Яан Пеньям, Таллинн, Эстония
Петер Пеппер, Берлин, Германия
Александр Петренко, Москва, Россия
Ярослав Покорный, Прага, Чехия
Вольфганг Райсиг, Берлин, Германия
Виктор Сабельфельд, Карлсруэ, Германия
Тимос Селлис, Афины, Греция
Александр Семенов, Новосибирск, Россия
Александр Томилин, Москва, Россия
Энн Тыугу, Таллин, Эстония
Жан-Клод Фернандес, Гренобль, Франция
Алан Хартман, Хайфа, Израиль
Сунг Деок Ча, Теджон, Южная Корея
Альбертас Чаплинскас, Вильнюс, Литва
Габриель Чиобану, Яссы, Румыния
Миклош Чурош, Монреаль, Канада
Клаус-Дитер Шеве, Палмерстон Норт, Новая Зеландия
Николай Шилов, Новосибирск, Россия
Дэвид Шмидт, Манхэттен, США
Сибилла Шуп, Гетеборг, Швеция
Явир Эспарза, Штутгарт, Германия
Татьяна Яхно, Измир, Турция

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

Айке Бест, Олденбургский университет, Германия
Александр Летичевский, Институт кибернетики, Киев, Украина
Александр Петренко, Центр применений технологий и знаний, Канада
К.Рустан М.Лейно, Майкрософт Рисерч, США
Роберт Харпер, Университет Карнеги-Меллон, Питтсбург, США.

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

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

Внимание! В этом году работа Программного комитета конференции будет организована в Интернете с помощью системы Easychair. Не позднее 12 февраля 2006 года необходимо отправить PostScript- или PDF-файл расширенной аннотации (до 10 страниц — в случае доклада и до 5 страниц — в случае сообщения) на следующий адрес: http://www.easychair.org/PSI2006/submit/. Авторы, считающие, что изложение нуждается в детализации, могут поместить дополнительный материал в приложении, которое будет рассматриваться только по усмотрению Программного комитета.

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

Аннотация должна включать полный адрес(а) автора(ов) с указанием места работы и вида представления (доклад или сообщение). Работы, присланные с запозданием или с нарушением установленного объема, могут быть отвергнуты без рецензирования. Подтверждение получения всех представляемых работ будет отправлено по электронной почте в течение двух дней. Авторы будут уведомлены о принятии докладов до 7 апреля 2006 г.

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

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

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов (приблизительно 14 страниц) и сообщений (не более 7 стр.), представленных на конференции, будут опубликованы в издательстве Springer-Verlag в серии «Lecture Notes in Computer Science» после конференции. Труды предыдущих конференций напечатаны в Lecture Notes in Computer Science, № 1181, 1755, 2244, 2890, соответственно. Отчет о последней конференции можно найти в EATCS Bulletin, No 81 (2003) 267–271, а также на сайте конференции http://psi.nsc.ru/ru/psi03/index

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

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

• Информатика образовани (см. страницу семинара);
• Program Understanding - проводится в Горном Алтае (см. страницу семинара на английском языке);
• Наукоемкое программное обеспечение (см. страницу семинара).

Важные даты

12 февраля 2006 г.: представления расширенных аннотаций.
7 апреля 2006 г.: уведомление о принятии (электронной почтой). Крайний срок уведомления - 23:59 PST (Pacific Standard Time - по стандартному тихоокеанскому времени).
26 июня 2006 г.: день прибытия.
27–30 июня 2006 г.: проведение конференции.
15 сентября 2006 г.: представление окончательных текстов докладов и сообщений.