научная статья по теме ВОСЬМАЯ МЕЖДУНАРОДНАЯ ЕРШОВСКАЯ КОНФЕРЕНЦИЯ ПО ИНФОРМАТИКЕ (ПСИ'11) Математика

Текст научной статьи на тему «ВОСЬМАЯ МЕЖДУНАРОДНАЯ ЕРШОВСКАЯ КОНФЕРЕНЦИЯ ПО ИНФОРМАТИКЕ (ПСИ'11)»

ПРОГРАММИРОВАНИЕ, 2012, No 5, с. 3-17

УДК 681.3.06

ВОСЬМАЯ МЕЖДУНАРОДНАЯ ЕРШОВСКАЯ КОНФЕРЕНЦИЯ ПО ИНФОРМАТИКЕ (ПСИ'11)

© 2012 г. И.Б. Вирбицкайте Институт систем информатики им. А.П. Ершова 630090 Новосибирск, пр-т. Лаврентьева, 6 E-mail: virb@iis.nsk.su Поступила в редакцию 12.12.2011 г.

Восьмая международная Ершовская конференция по информатике (ПСИ'11) была проведена с 27-го июня по 4-е июля 2011 г. в Новосибирском Академгородке. ПСИ - это форум, на котором собираются ученые, разработчики и пользователи программного обеспечения, работающие как в науке, так и в промышленности. Цель форума - наведение мостов между сообществами, интересы которых затрагивают такие области, как разработка и анализ программ и систем, методология и технология программирования, информационные технологии. Конференции ПСИ позволяют обсудить современные методы и подходы и тем самым помочь специалистам в повышении надежности и эффективности методов, алгоритмов и инструментария разработки программных и информационных систем.

1. ВВЕДЕНИЕ

Конференция ПСИ'11 посвящалась 100-летию со дня рождения члена-корреспондента АН СССР А.А. Ляпунова и 80-летию со дня рождения академика А.П. Ершова. Имена А.А. Ляпунова и А.П. Ершова широко известны в мире, поэтому неудивительно, что конференция их памяти привлекла ведущих ученых из разных стран, тем самым обеспечивая высокий научный уровень.

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

становлении биоинформатики, уделял много внимания философским и методологическим проблемам науки, а также вопросам школьного преподавания и подготовки научных кадров. В 1996 году А.А. Ляпунов был удостоен (посмертно) одной из самых престижных наград мирового компьютерного сообщества - медали "Computer Pioneer".

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

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

Первые семь конференций ПСИ проводились в 1991, 1996, 1999, 2001, 2003, 2006 и 2009 гг., соответственно, и, вызвав широкий международный резонанс, стали известны в стране и мире как "Ершовские конференции". Труды 2-ой, 3-ей, 4-ой, 5-ой, 6-ой и 7-ой конференций опубликованы издательством Springer-Verlag (Германия) в серии Lecture Notes in Computer Science (т. 1181, 1755, 2244, 2890, 4378 и 5947, соответственно).

На восьмой Ершовской конференции были представлены новые результаты теоретических и методологических исследований в перспективных направлениях компьютерных наук. Основные темы восьмой конференции - это теоретические основы программирования, методология и технология создания программных систем и новые информационные технологии. Сохранился стиль предыдущих конференций: кроме докладов, отобранных в ходе конкурса, в программу вошли учебная лекция (tutorial) и пять приглашенных докладов. Заседания конференции проходили в Доме ученых Сибирского отделения РАН. Рабочие языки конференции - английский и русский.

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

В этом году в адрес основной конференции было прислано 60 статей, из них 31 статья из России (7 - из Москвы, 18 - из Новосибирска, по 2 - из Санкт-Петербурга и Красноярска, по 1 - из Владимира и Ульяновска) и 29 статей из-за рубежа (по 4 - из Австрии, Германии; по 3 - из Великобритании, Дании; по 2 - из Испании, Казахстана, США, Франции; по 1 - из Аргентины/Швеции, Ирландии/Дании, Новой Зеландии, Польши, Украины, Швейцарии, Эстонии). Каждая статья рецензировалась четырьмя членами программного комитета, как правило, из стран, отличных от страны заявителя. В результате работы ПК для представления на конференции было отобрано 18 докладов, 10 коротких сообщений и 7 стендовых презентаций. Широкий диапазон актуальных проблем информатики был освещен в учебной лекции (tutorial) и пяти приглашенных докладах, сделанных ведущими учеными из Германии, Италии и Великобритании. Отметим, что традиционно в работе конференции активно участвуют ученые из России, Германии, Великобритании, Дании, многие приезжают уже не в первый раз. Это позволяет предположить, что уровень конференции достаточно высок, а представленные доклады интересны.

Всего в конференции, включая рабочий семинар "Наукоемкое программное обеспечение", международный семинар "Понимание программ", семинар с международным участием "Знания и онтологии *ELSEWHERE* 2011" и секцию "Информатика образования", приняло участие 250 человек. На конференции было 68 иногородних участников, из них 31 -из дальнего зарубежья (Австрия (3), Великобритания (4), Германия (7), Дания (4), Израиль (1), Ирландия (1), Италия (1), Испания (1), США (2), Украина (1), Франция (1), Швейцария (1), Швеция (1), Япония (3)) и 37 человек из России, в основном, из Москвы (8), Санкт-Петербурга (4), а также специалисты из Казахстана, Узбекистана, Башкирии, Саратова Екатеринбурга, Кемерово, Красноярска, Ачинска, Бийска, Томска, Омска, Барнаула и других городов Сибири, участвовавшие в секции "Информатика образования" и семинарах.

Подробно с программой конференции и семинаров можно познакомиться в интернете по

адресу http://psi.nsc.ru/psi11/index. Ниже следует краткий обзор представленных докладов, сообщений и стендовых презентаций.

Конференция открылась 27 июня учебной лекцией на тему "Mining Programs" всемирно известного специалиста в области разработки и анализа больших программных систем Андреаса Целлера -профессора, заведующего кафедрой технологии программирования Саарлендского университета (Саарбрюкен, Германия). Лекция была посвящена воспроизведению, поиску и исправлению ошибок в программных системах. Особое внимание докладчик уделил ряду методик, которые позволяют выполнять отладку программ системным, а иногда даже элегантным способом. Данные методики могут быть максимально автоматизированы, что дает возможность доверить решение большинства задач отладки компьютеру. Эта лекция привлекла внимание не только непосредственных участников конференции, но также сотрудников многих институтов СО РАН и фирм, занимающихся разработкой ПО и расположенных в Новосибирске. На лекции присутствовало около 200 слушателей. В перерыве желающие смогли приобрести книгу Целлера "Почему программы не работают" ("Why Programs Fail"). Этот программистский бестселлер выдержал несколько изданий за рубежом, был удостоен престижной премии и только что опубликован на русском языке.

Официальное открытие конференции состоялось на утренней сессии 28 июня. Председатель конференции, директор ИСИ СО РАН, профессор А.Г. Марчук посвятил свое вступительное слово двум выдающимся отечественным ученым, учителю и ученику, А.А. Ляпунову и А.П. Ершову. В 1961 г. они один за другим приехали в Академгородок, где в полной мере раскрылся их творческий, научный и организаторский потенциал. С приветствиями к участникам конференции обратились директор Института вычислительных технологий СО РАН, академик Ю.И. Шокин, директор Института математики им. С.Л. Соболева СО РАН, чл.-корр. РАН С.С. Гончаров, проректор НГУ, проф. М.М. Лаврентьев мл., директор-распорядитель Новосибирского центра

исследований и разработок Интел А.В. Авдеев. Основная научная программа конференции началась приглашенным докладом профессора Андреаса Целлера (Университет Саарбрюкена, Германия) "Mining Precise Specifications", в котором был сделан обзор основных принципов и методов разработки спецификаций программ с целью преодоления разрыва между языками спецификаций и языками программирования, а также формальными методами разработки ПО и реальными программными системами.

На первой сессии, посвященной частичному исполнению и разработке компиляторов, были представлены три доклада. В первом докладе Р. Глюк (Копенгагенский университет, Дания) с помощью специально разработанного генератора компиляторов на основе частичных вычислений, реализованного для языка рекурсивных блок-схем, продемонстрировал достоинства техники раскрутки генераторов компиляторов из частичного исполнения, которая является альтернативой третьей проекции Футамуры. Дж. Гамильтон (Дублинский университет, Ирландия) и Н. Джоунс (Копенгагенский университет, Дания) акцентировали внимание слушателей на использование слабо

Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.

Показать целиком

Пoхожие научные работыпо теме «Математика»