научная статья по теме ДЕВЯТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ „ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ ", 24 ИЮНЯ 27 ИЮНЯ 2014 Г., ПЕТЕРГОФ, САНКТ-ПЕТЕРБУРГ HTTP://PSI.NSC.RU/PSIL4/INDEX Математика

Текст научной статьи на тему «ДЕВЯТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ „ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ ", 24 ИЮНЯ 27 ИЮНЯ 2014 Г., ПЕТЕРГОФ, САНКТ-ПЕТЕРБУРГ HTTP://PSI.NSC.RU/PSIL4/INDEX»

ПРОГРАММИРОВАНИЕ, 2013, No 3, с. 65-68

ДЕВЯТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ -

УДК 681.3.06

ДЕВЯТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ „ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ ", 24 июня - 27 июня 2014 г., Петергоф, Санкт-Петербург http://psi.nsc.ru/psil4/index

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

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

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

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

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

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

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

программ;

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

времени и гибридных систем;

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

ных и распределенных вычислений; ние систем;

программ;

66 ВИРБИ

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

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

Информационные технологии вы, web-публикации;

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

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

Конференция ПСИ'14 проводится совместно Институтом систем информатики им. А.П. Ершова (сибирское отделение Российской Академии Наук) и Санкт-петербургским государственным университетом в Петергофе. Город, основанный в 1710 г. как императорская загородная резиденция, славится ансамблем дворцово-паркового искусства XVIII—XIX веков, причисленным ЮНЕСКО к мировому наследию. Здесь расположены корпуса физического, математико-механического и химического факультетов Санкт-петербургского государственного университета. В 2005 г. город получил статус наукограда.

СОПРЕДСЕДАТЕЛИ КОНФЕРЕНЦИИ Александр Марчук

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

Андрей Терехов

Санкт-петербургский государственный университет, Санкт-Петербург, Россия.

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

Динес Бьорнер,

Технический университет, Лингби, Дания. Манфред Брой,

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

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

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

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

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

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

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

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

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

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

СЕКРЕТАРЬ ПРОГРАММНОГО КОМИТЕТА Ирина Адрианова,

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

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

1. Самсон Абрамски, Оксфорд, Великобритания

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

3. Леопольда Бертосси, Карлтон, Канада

4. Айке Вест, Ольденбург, Германия

ПРОГРАММИРОВАНИЕ N° 3 2013

ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ

67

7.

8. 9.

10. 11. 12.

13.

14.

15.

16.

17.

18.

19.

20. 21. 22.

23.

24.

25.

26.

27.

28.

29.

30.

31.

32.

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

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

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

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

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

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

Лаура Ковач, Вена, Австрия

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

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

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

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

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

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

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

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

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

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

Петер Мюллер, Цюрих, Швейцария

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

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

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

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

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

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

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

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

Андрей Сабельфельд, Гетенберг, Швеция

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

33. Вэл, Таннен, Пенсильвания, США

34. Лот,ар Тиле, Цюрих, Швейцария

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

36. Дитер Фензель, Иннсбрук, Австрия

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

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

39. Дэвид Шмидт, Манхэттен, США

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

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

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

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

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

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

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

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

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

ПРОГРАММИРОВАНИЕ N° 3 2013

5*

68

ВИРБИЦКАЙТЕ

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

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

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

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

сообщения необходимо загрузить с помощью системы Easychair на сайте http://www.casychair.org/confcrcnccs/7conf psil4e не позднее 20 января 2014 года.

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

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

Участники получат на конференции предварительный сборник приглашенных лекций, принятых статей и сообщений. Окончательные тексты приглашенных лекций, принятых статей (А) и сообщений (В), представленных на конференции, будут опубликованы издательством Springer-Verlag в серии „Lecture Notes in Computer Science" после конференции. Труды предыдущих конференций напечатаны в томах 1181, 1755, 2244, 2890, 4378, 5947 и 7162 серии „Lecture Notes in Computer Science".

РАБОЧИЕ СЕМИНАРЫ

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

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

ВАЖНЫЕ ДАТЫ

13 января 2014 г.: представление докладов/сообщений.

20 января 2014 г.: последний срок представления докладов/сообщений.

1 апреля 2014 г.: уведомление о принятии/отклонении (электронной почтой).

24 июня — 27 июня 2014 г.: проведение конференции.

1 сентября 2014 г.: представление окончательных текстов докладов и сообщений.

Подписано к печати 17.04.2013 Формат 60 X 88 Ув Дата выхода в свет 24 чет.

Печать цифровая Усл.печ.л. 8,5 Усл.кр.-атт. 1,3 тыс. Уч.-изд.л. 8,6 Бум. л. 4,25 Тираж 146 экз. Зак. 1311 Цена свободная

Учредитель: Российская академия наук

Издатель: Российская академия наук. Издательство "Наука", 117997 Москва, Профсоюзная уп., 90 Отпечатано в 111111 «Типография "Наука"», 121099 Москва, Шубинский пер., 6

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

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

Пoхожие научные работыпо теме «Математика»