PSI'03
A.P. Ershov Institute of Informatics Systems
Andrei Ershov Fifth International Conference «PERSPECTIVES OF SYSTEM INFORMATICS»
 

9-12 июля 2003 г., Новосибирск, Академгородок, Россия


PSI'03

Цели и задачи
Темы конференции
Место проведения конференции
Председатель конференции
Сопредседатели программного комитета
Члены программного комитета
Секретарь программного комитета
Структура конференции
Приглашенные лекторы
Важные даты
Семинар "Понимание программ"
Благодарности

Цели и задачи

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Александр Марчук
Институт систем информатики им. А.П. Ершова
пр. Академика Лаврентьева, 6
630090 Новосибирск, Россия
тел: +7-3832-343652
факс:+7-3832-323494
e-mail: mag@iis.nsk.su

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

Проф. д-р Манфред Брой
Факультет информатики
Технический университет Мюнхена
Больцманштрассе, 3
D-85748 Гаршинг
Германия
тел.: +49-89-28917304
факс: +49-89-28917307
E-mail: broy@informatik.tu-muenchen.de

Aлександр Замулин
Институт систем информатики им. А.П.Ершова
пр. Академика Лаврентьева, 6
630090 Новосибирск, Россия
тел: +7-3832-396258
факс: +7-3832-323494
E-mail: zam@iis.nsk.su

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

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

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

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

Структура конференции

Для создания рабочей атмосферы конференции число участников ограничено - 100 человек. Предлагаются три вида представления работ: лекции, доклады и сообщения.

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

  1. Ким Брюс (Вильямс Колледж, Вильямстаун, США). "Гнется, но не ломается: как сделать программное обеспечение более гибким".
  2. Бертран Мейер (Высшая Техническая Школа, Цюрих, Швейцария, и Eiffel Software, США). "Как я обучаю программированию".
  3. Давид Харел (Вейцмановский исследовательский институт, Реховот, Израиль). "О визуализации и эстетике больших графов".
  4. Тони Хоар (Майкрософт Рисерч, Кембридж, Великобритания). "Верифицирующий компилятор: грандиозный вызов информатике".
  5. Иоахим Шмидт (Технический университет Гамбурга, Германия). "Управление содержанием: обратная связь от приложений к моделям и техническим решениям".
  6. Макс Канович (Университет Пенсильвании, Филадельфия, США), Жаклин Возей (Университет Париж-13, Париж, Франция). "Применение формализма линейной логики к проблемам искусственного интеллекта".

Важные даты

  • 16 февраля 2003 г.: последний срок представления расширенных аннотаций.
  • 7 апреля 2003 г.: уведомление о принятии (электронной почтой).
  • 8 июля 2003 г.: день прибытия.
  • 9-12 июля 2003 г.: проведение конференции.
  • 1 сентября 2003 г.: представление окончательных текстов докладов и сообщений (твердая копия, LaTex, стиль llncs).

Семинар "Понимание программ"

В рамках конференции с 14 по 16 июля в живописном месте на Горном Алтае состоитс семинар "Понимание программ". Страница семинара: http://psi.nsc.ru/ru/psi03/workshop/index.

Благодарности

Мы выражаем признательность за вклад в успешное проведение конференции следующим организациям:

Microsoft Research Ltd.,
U.S. Air Force European Office of Aerospace Research and Development,
U.S. Navy Office of Naval Research, International Field Office,
U.S. Army Research Laboratory, European Research Office,
U.S. Army Communications-Electronics Command (CECOM).

 

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

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

WebmasterWebmaster