Цели и задачи

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

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

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

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

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

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

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

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

Искусственный интеллект:

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

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

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

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

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

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

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

Dines Bjørner
Dept. of IT
Technical University of Denmark,
DK-2800 Lyngby, DENMARK
Phone/Fax: +45-45.88.45.30
E-mail: db@it.dtu.dk

Manfred Broy
Institut für Informatik
Technische Universität München
D-80290 Munich, GERMANY
Phone:  +49-89-21058161
Fax:     +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: psi99@iis.nsk.su

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

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

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

1. К. Апт (CWI, Нидерланды)
2. В. Базили (Мерилендский университет, США)
3. М.-К. Годель (Университет Пари-Сюд, Франция), А. Замулин (ИСИ, Новосибирск)
4. Н. Джонс (ДИКУ, Дания)
5. Д. Мэри (ИНРИА-Нанси, Франция)
6. Р. Моррисон (Св.Эндрюс, Шотландия)
7. А. Нариньяни (РосНИИ ИИ, Россия)
8. Д. Саннелла (Эдинбург, Шотландия)

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

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

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

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

Не позднее 31 января 1999 года необходимо прислать по электронной почте на имя секретаря конференции PostScript-файл расширенной аннотации (до 8 страниц - в случае доклада и до 4 страниц - в случае сообщения), подготовленной в системе LaTeX в стиле llncs. В исключительных случаях принимаются LaTeX-файлы.

Стиль также высылается по запросу и, кроме того, он доступен на сервере издательства Springer-Verlag. Там же можно найти подробную информацию для авторов (см. http://www.springer.de/comp/lncs.authors.shtml)

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

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

Важные даты

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