научная статья по теме ВОСЬМАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ ПАМЯТИ АКАДЕМИКА А.П. ЕРШОВА "ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ" 27 ИЮНЯ-1 ИЮЛЯ 2011 Г., НОВОСИБИРСК, АКАДЕМГОРОДОК (HTTP://PSI.NSC.RU/PSI11/INDEX.SHTML ) Математика

Текст научной статьи на тему «ВОСЬМАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ ПАМЯТИ АКАДЕМИКА А.П. ЕРШОВА "ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ" 27 ИЮНЯ-1 ИЮЛЯ 2011 Г., НОВОСИБИРСК, АКАДЕМГОРОДОК (HTTP://PSI.NSC.RU/PSI11/INDEX.SHTML )»

ПРОГРАММИРОВАНИЕ, 2010, No 5, с. 76-80

СООБЩЕНИЯ

УДК 004.92+004.94

ВОСЬМАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ ПАМЯТИ АКАДЕМИКА А.П. ЕРШОВА "ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ" 27 июня—1 июля 2011 г., Новосибирск, Академгородок (http://psi.nsc.ru/psi11/index.shtml)

© 2010 г. И. Б. Вирбицкайте

Институт систем информатики им. А.П. Ершова СО РАН 630090 Новосибирск, пр. Ак. Лаврентьева, 6 E-mail: virb@iis.nsk.su Поступила в редакцию 26.03.2010

1. ЦЕЛИ И ЗАДАЧИ

Международные конференции "Перспективы систем информатики" - это один из главных форумов России, посвященных исследованиям и приложениям в таких областях информатики, как компьютерные науки, методология и технология программирования, информационные технологии. На конференциях собираются ученые, разработчики и пользователи программного обеспечения для того, чтобы представить и обсудить самые последние новшества, идеи, тенденции и результаты исследований в направлениях, обозначенных в тематике конференции. Предыдущие конференции, состоявшиеся в 1991, 1996, 1999, 2001, 2003, 2006 и 2009 годах, явились крупными международными событиями и прошли весьма успешно. Подробную информацию о предыдущих конференциях можно найти на сайте http://psi.nsc.ru/psi09/index.shtml.

Конференция ПСИ'11 посвящается 80-летию со дня рождения выдающегося отечественного ученого - академика Андрея Петровича Ершова (1931-1988). Роль А.П. Ершова в становлении и развитии теоретического и системного программирования в нашей стране трудно переоценить. Он принадлежал к первому поколению программистов, чьими трудами и талантами создавалась и развивалась информатика как научное направление и как новая область человеческой

деятельности. Широкое международное признание получили работы А.П. Ершова в области теории схем программ и смешанных вычислений. Под руководством А.П. Ершова и при непосредственном его участии создавались трансляторы Альфа, первая в СССР система разделения времени АИСТ, системы БЕТА, САПФИР, РУБИН, Школьница, рабочая станция МРАМОР. Не менее значительна роль А.П. Ершова в установлении профессиональных и личных контактов внутри международного сообщества программистов, в развитии международного научного сотрудничества, в создании единого информационного пространства. Со дня безвременной кончины Андрея Петровича прошло более 20 лет, но каждое новое поколение программистов обращается к его классическим работам, находит в них новые идеи и стимулы, отдает дань уважения и признательности этой удивительно яркой и многогранной личности.

2. ТЕМАТИКА КОНФЕРЕНЦИИ

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

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

методы спецификации, валидации и верификации;

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

семантика, логика и формальные модели программ;

частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;

доказательство теорем и проверка моделей; теория параллелизма;

моделирование и анализ систем реального времени и гибридных систем;

модели и алгоритмы биоинформатики.

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

объектно-ориентированное, компонентное и родовое программирование;

программирование по контракту;

создание систем и программ для параллельных и распределенных вычислений;

программирование в ограничениях;

мультиагентные технологии;

перепрограммирование и переиспользование систем;

интегрированные программные обстановки;

архитектура программного обеспечения;

разработка и тестирование программ;

модельно-управляемая разработка систем и программ;

"быстрая" разработка программного обеспечения;

инструментарий технологии программирования;

понимание и визуализация программ. Информационные технологии модели данных,

базы данных и информационные системы;

базы знаний и конструирование знаний;

технологии биоинформатики;

онтологии и семантический web;

электронные библиотеки, собрания и архивы, web-публикации;

управление равноправными данными.

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

3. МЕСТО ПРОВЕДЕНИЯ КОНФЕРЕНЦИИ

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

4. ПРЕДСЕДАТЕЛЬ КОНФЕРЕНЦИИ

Александр Марчук

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

5. НАБЛЮДАТЕЛЬНЫЙ СОВЕТ

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

- Манфред Брой

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

- Виктор Иванников

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

- Бертран Мейер

Высшая техническая школа, Цюрих, Швейцария и Эйфель Софтвер, США

78 ВИРБИЦ1

- Леонид Либкин

Эдинбургский университет, Великобритания

6. СОПРЕДСЕДАТЕЛИ ПРОГРАММНОГО КОМИТЕТА

- Ирина Вирбицкайте

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

- Андрей Воронков

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

7. СЕКРЕТАРЬ ПРОГРАММНОГО КОМИТЕТА

Наталья Черемных

Институт систем информатики имени А.П. Ершова

пр. Акад. Лаврентьева, д. 6, 630090 Новосибирск, Россия

тел: +7 383 330 73 52, факс: +7 383 332 34 94, e-mail: cher@iis.nsk.su, psi11@iis.nsk.su

8. ЧЛЕНЫ ПРОГРАММНОГО КОМИТЕТА

Янис Барздинь, Рига, Латвия

Фредерик Бенаму, Нант, Франция

Эйке Бест, Ольденбург, Германия

Стефан Брасс, Халле, Германия

Ким Брюс, Помона, Калифорния, США

Михаил Бульонков, Новосибирск, Россия

Александр Вольф, Лондон, Великобритания

Генрих Герре, Лейпциг, Германия

Ян Фризо Груте, Эйндховен, Нидерланды

Крис Джордж, Макао

Ванг И, Уппсала, Швеция

Виктор Касьянов, Новосибирск, Россия

Йост-Питер Катун, Аахен, Германия

Александр Клещев, Владивосток, Россия

Николай Колчанов, Новосибирск, Россия

Григорий Кучеров, Лилль, Франция

Ким Гульдстранд Ларсен, Аальборг, Дания

Рустан Лейно, Редмонд, США

Йохан Лилиус, Турку, Финляндия

Периклес Лукопулос, Лоубороу, Великобритания

Андреа Маджиоло-Щеттини, Пиза, Италия

Клаус Меер, Коттбус, Германия

Доминик Мери, Нанси, Франция

Бернхард Меллер, Аугсбург, Германия

Ганспетер Мессенбек, Линц, Австрия

Торбен Могенсен, Копенгаген, Дания

Питер Моссес, Свонси, Великобритания

Петер Мюллер, Редмонд, США

Валерий Непомнящий, Новосибирск, Россия

Николай Никитченко, Киев, Украина

Хосе Парама, А Корунья, Испания

Франческо Паризи-Презиччи, Рим, Италия

Войцех Пенчек, Варшава, Польша

Яан Пеньям, Таллинн, Эстония

Петер Пеппер, Берлин, Германия

Александр Петренко, Москва, Россия

Ярослав Покорный, Прага, Чехия

Вольфганг Райсиг, Берлин, Германия

Дональд Саннелла, Эдинбург, Великобритания

Тимос Селлис, Афины, Греция Александр Семенов, Новосибирск, Россия Александр Томилин, Москва, Россия

Марк Трахтенброт, Тель-Авив, Израиль

Жан-Клод Фернандес, Гренобль, Франция

Альбертас Чаплинскас, Вильнюс, Литва

Габриель Чиобану, Яссы, Румыния

Клаус-Дитер Шеве, Палмерстон Норт, Новая Зеландия

Николай Шилов, Новосибирск, Россия Дэвид Шмидт, Манхэттен, США Хавьер Эспарза, Мюнхен, Германия Татьяна Яхно, Измир, Турция

9. ТРЕБОВАНИЯ К ТЕКСТАМ ДОКЛАДОВ

На конференцию принимается три типа работ:

A. статьи, представляющие результаты законченного исследования (12 страниц/30 минут выступления);

B. сообщения, представляющие интересные промежуточные результаты текущих исследований (7 страниц/15 минут выступления);

C. сообщения, представляющие реализацию программных систем и результаты экспериментальных исследований (необходимо наличие ссылки (link) на работающую систему).

Некоторые статьи (A), получившие при рецензировании относительно невысокую оценку, могут быть приняты как сообщения (B), поэтому авторы при загрузке статей в систему Easychair (см. ниже) должны явным образом указать, согласны ли они на такое изменение статуса их работы.

Рекомендации по оформлению

• Текст докладов/сообщений на английском языке должен быть четким, грамотным и достаточно подробным, чтобы программный комитет мог оценить все достоинства работы.

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

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

• Краткие рекомендации по подготовке докладов на международную конференцию могут быть высланы секретариатом конференции по запросу автора.

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

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

• PostScript- или PDF-файл статьи или сообщения необходимо загрузить с помощью системы Easychair на сайте http://www. easy-chair.org/conferences/?conf=psi11 не позднее 26 января 2011 года.

Работы, присланные с запозданием или с нарушением установленного объема, могут быть отвергнуты без рецензирования. Подтверждение получения представляемых работ будет отправлено авторам по электронной почте в течение двух дней. Авторы будут уведомлены о принятии/ отклонении докладов до 2 апреля 2011 г.

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

10. ТРУДЫ КОНФЕРЕНЦИИ

Участники получат на конференции предварительный сборник приглашенных лекций, принятых статей и сообщений. Окончательные тексты приглашенных лекций, принятых статей (A) и сообщений (B), представленных на конференции,

80 ВИРБИ

б

Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.

Показать целиком