Институт

Международная конференция "Перспективы систем информатики"

N 28 (2414) 25 июля 2003 г.

В Доме ученых СО РАН завершила работу Пятая международная конференция «Перспективы систем информатики» (PSI-03), которую проводил Институт систем информатики им. А. П. Ершова.

И.Крайнева, ведущий инженер ИСИ СО РАН

Иллюстрация Иллюстрация Иллюстрация Иллюстрация

Председатель конференции — директор ИСИ СО РАН, доктор физико-математических наук Александр Марчук; сопредседатели Программного комитета — профессор Манфред Брой (факультет информатики Технического университета Мюнхена) и доктор физико-математических наук Александр Замулин (ИСИ СО РАН). В составе Международного программного комитета многие известные ученые из двадцати стран мира: Австрии, Великобритании, Италии, России, стран Балтии, США, Франции, Швеции, Японии и других.

В адрес программного комитета было прислано 110 докладов от ученых из 28 стран. Для представления на конференции было отобрано 50 работ. Рабочий язык конференции — английский.

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

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

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

В качестве приглашенных докладчиков на конференции выступили Ким Брюс (Вильямс Колледж, Вильямстаун, США), Бертран Мейер (Высшая техническая школа, Цюрих, Швейцария и Eiffel Software, США), Давид Харел (Вейцмановский исследовательский институт, Реховот, Израиль) и Тони Хоар (Майкрософт Рисерч, Кембридж, Великобритания).

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

В рамках конференции состоялся вечер памяти Игоря Васильевича Поттосина, где собрались гости и сотрудники Института систем информатики.

В этом году формат конференции был существенно расширен. В ее рамках проходило рабочее совещание «Интервальная математика и методы распространения ограничений», посвященное использованию современных методов интервальной математики и искусственного интеллекта для решения сложных вычислительных задач. А также — научно-практический семинар «Наукоемкое программное обеспечение», позволивший представителям фундаментальной и прикладной науки, разработчикам программных продуктов и заказчикам научного софтвера ознакомиться с новыми разработками и обсудить проблемы взаимовыгодного сотрудничества.

14 июля открылся международный семинар «Понимание программ», собравший российских и зарубежных участников в одном из живописнейших уголков Алтая.

Подробно с программой конференции и фоторепортажем с места событий можно познакомиться на интернет-сайте Института систем информатики им. А. П. Ершова СО РАН по адресу:
https://www.iis.nsk.su.

из газеты "Наука в Сибири"