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

Цели и задачи

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

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

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

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

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

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

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

• спецификация, трансформация и верификация программ;
• семантика, логика и формальные модели программ;
• смешанные вычисления и абстрактная интерпретация;
• анализ и синтез программ;
• тестирование моделей (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

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

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

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

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

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

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

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

1. Эгидио Астезиано (Генуя, Италия): "From ADT to UML-like modelling"
2. Ян Фризо Груте (Амстердам, Нидерланды): "BDDs and resolution cannot simulate each other polynomially"
3. Юрий Гуревич (Сиэтл, США): "The Abstract State Machine Paradigm: What is In and What is Out"
4. Бертран Мейер (Санта Барбара, США): "At the edge of Design by Contract"
5. Петер Моссис (Аарус, Дания): "What Use is Formal Semantics?"
6. Давид Харел (Израиль): "From Play-In Scenarios to Code: An Achievable Dream"

Приглашенные докладчики на мемориальном заседании

1. Римма Подловченко (Москва) "A.A.Liapunov and A.P.Ershov in the theory of program schemes and the development of its logic concepts"
2. Игорь Поттосин (Новосибирск) "A.P.Ershov - a pioneer and leader of programming in Russia"

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

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов и сообщений, представленных на конференции, будут опубликованы издательством 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 г.

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

Важные даты

• 12 февраля 2001 г.: последний срок представления расширенных аннотаций.
• 6 апреля 2001 г.: уведомление о принятии (электронной почтой).
• 2 июля 2001 г.: день прибытия.
• 2-6 июля 2001 г.: проведение конференции.
• 1 сентября 2001 г.: представление окончательных текстов докладов и сообщений.