Четвертая международная конференция
памяти академика А. П. Ершова

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

3-6 июля 2001 г., Новосибирск, Академгородок

http://www.iis.nsk.su/PSI01/call.html

ЦЕЛИ И ЗАДАЧИ

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

Андрей Ершов - один из российских пионеров в области теоретического и системного программирования, основатель Сибирской школы информатики. Его научная деятельность получила широкое признание как в нашей стране, так и за рубежом. В 1974 г. он был избран почетным членом Британского Вычислительного общества, в 1981 г. получил награду - Серебряный сердечник - за активную работу в ИФИП.

Блестящие выступления Андрея Ершова всегда оказывались в центре внимания научной общественности. Особенно широкий резонанс вызвали две публичные лекции: "Эстетический и человеческий фактор в программировании", прочитанная в 1972 г. на конференции AFIPS, и "Программирование - вторая грамотность", представленная в 1981 г. в Лозанне на Третьем всемирном конгрессе IFIP "ЭВМ в образовании".

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Динес Бьорнер
Датский Технический университет, Лингби, Дания
Тел/факс: +45-45-884530
E-mail: db@it.dtu.dk

Манфред Брой
Институт информатики, Мюнхенский Технический университет
Мюнхен, Германия
Тел.: +49-89-21058161
Факс:+49-89-21058183
e-mail: broy@informatik.tu-muenchen.de

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

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

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

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

СТРУКТУРА КОНФЕРЕНЦИИ

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

ПРИГЛАШЕННЫЕ ЛЕКТОРЫ:

Эгидио Астезиано (Генуя, Италия)
Ян Фризо Груте (Амстердам, Нидерланды)
Юрий Гуревич (Сиэтл, США)
Бертран Мейер (Санта Барбара, США)
Петер Моссис (Аарус, Дания)
Давид Харел (Израиль)
Приглашенные докладчики на мемориальном заседании:
Римма Подловченко (Москва)
Игорь Поттосин (Новосибирск)

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

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов и сообщений, представленных на конференции, будут опубликованы издательством Springer-Ferlag в серии "Lecture Notes in Computer Science".

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

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

Не позднее 28 января 2001 года необходимо прислать по электронной почте на имя секретаря конференции PostScript-файл расширенной аннотации (до 8 страниц - в случае доклада и до 4 страниц - в случае сообщения), подготовленной в системе LaTeX в стиле llncs. В исключительных случаях принимаются LaTeX-файлы. Стиль также высылается по запросу и, кроме того, он доступен на сервере издательства Springer-Verlag. Там же можно найти подробную информацию для авторов (см. http://www.springer.de/comp/lncs/authors.htm).

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

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

ВАЖНЫЕ ДАТЫ

28 января 2001 г.: последний срок представления расширенных аннотаций.

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

2 июля 2001 г.: день прибытия.

3-6 июля 2001 г.: проведение конференции.

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


|События в СО РАН| |Постановления Президиума и нормативные документы| |Конференции и совещания| |Конкурсы и гранты| |Новости на сервере| |Новости в сети СО РАН| |Новости| |Разное| |Новости Электронной библиотеки СО РАН| |Частные объявления|
|Доска объявлений| |Поиск|


Ваши коментарии
Обратная связь
[SBRAS]
[Головная страница]
[СО РАН]

© 1996-2016, Сибирское отделение Российской академии наук, Новосибирск
© 1996-2016, Институт вычислительных технологий СО РАН, Новосибирск
    Дата последней модификации: 14-Dec-2000 (13:50:21)