28 июня в 9.30 в Малом зале Дома ученых СО РАН состоится открытие 8-й Международной конференции по информатике PSI-2011 (Perspectives of System Informatics), посвященной 100-летию со дня рождения чл.-корр. РАН А.А. Ляпунова и 80-летию со дня рождения академика А.П. Ершова.

Конференция «Перспективы систем информатики» (ПСИ) впервые была проведена в Новосибирске в 1991 г. Тогда на конференцию приехали ведущие ученые в области computer science из нескольких стран мира. Сложился ее формат: широкий спектр вопросов системного программирования, который концентрировался вокруг направлений, развитых в работах А.П. Ершова и его школы программирования – теория описания и реализации языков программирования, искусственный интеллект, параллельное программирование, теория вычислимости, школьная информатика. Организаторами конференции являются Институт систем информатики им. А.П. Ершова СО РАН и Новосибирский государственный университет.

Сопредседателями программного комитета конференции от ИСИ были в разные годы д.ф.-м.н. И.В. Поттосин, д.ф.-м.н. А.В. Замулин, с 2006 года – д.ф.-м.н. И.Б. Вирбицкайте. В этом году конференция собралась в восьмой раз. Сопредседателями VIII-ой Ершовской конференции по информатике являются также Э. Кларке, профессор американского Университета Карнеги–Меллона и А. Воронков, профессор Манчестерского университета, Великобритания.

Конференция организуется в среднем раз в три года, является крупными международными событием и проходит на высоком научном уровне. Она способствует расширению контактов и обмену мнениями между учеными России и других стран. Труды конференций публикуются издательством Springer-Verlag в серии «Lecture Notes in Computer Science». Доклады, представленные в оргкомитет, проходят жесткий конкурсный отбор. Количество российских ученых обычно составляет третью часть от всех участников. Широка география участников нынешней конференции: в ней участвовали ученые таких стран, как Австрия, Аргентина, Великобритания, Дания, Германия, Ирландия, Италия, Испания, Россия, США, Украина, Швеция, Швейцария.

Цель конференции состоит в представлении и глубоком обсуждении передовых достижений в таких областях информатики, как теоретические основы анализа и разработки программ и систем; методология и технология программирования; новые информационные технологии. В этом году несколько выступлений посвящается проблемам параллельной обработки информации, а именно одной из наиболее популярных моделей параллельных систем – сетям Петри. В Институте систем информатики эта традиция прослеживается в трудах чл.-корр. В.Е. Котова, д.ф.-м.н. И.Б. Вирбицкайте и др.

Приглашенный доклад У. Монтанари (Пизанский университет, Италия), стоявшего у истоков теории параллелизма, будет посвящен операторам связанности – коннекторам. Термин коннектор был введен в области компонентной архитектуры программного обеспечения, чтобы назвать сущности, которые могут регулировать взаимодействие набора компонентов.  В докладе освещены основные особенности некоторых известных теорий коннекторов, их сходства, различия, взаимопроникновение и возможное расширение.

А. Бест (Ольденбургский университет, Германия) по праву считается одним из основоположников теории сетей Петри и алгебр параллельных процессов. В своем приглашенном докладе он исследует свойства распределенности параллельных процессов.  Эти исследования находят свое применение при разработке больших распределенных баз данных, коммуникационных протоколов, автоматизированных систем управления и др.

Остальные приглашенные докладчики представят проблематику, весьма актуальную в современном практическом программировании. Доклад Р. Маюмдара (Институт Макса Планка, Кайзерслаутерн, Германия) посвящен новому подходу к проверке корректности программ. Он предполагает сочетание двух традиционных методов решения этой проблемы: тестирования (весьма трудоемкий подход, используемый в промышленном программировании) и верификации, или проверке правильности программ путем их сопоставления с эталонными моделями. В последние годы эти подходы сблизились. Автор рассматривает методологию создания надежного программного обеспечения, используемого в различных сложных системах,  на базе предлагаемого  подхода.

Проблемам создания надежных программ посвящены выступления профессора Саарлендского университета (Германия)  А. Целлера. Он выступит с приглашенным докладом  и прочтет трехчасовую лекцию, адресованную как теоретикам, так и практическим программистам. Участники конференции смогут приобрести известную книгу А. Целлера «Почему программы не работают» (Why Programs Fail), выдержавшую несколько изданий за рубежом и вышедшую в переводе на русский язык в этом году.

С широким распространением интернета все больше информации становится доступной нам через web, и понимание ее происхождения – источник информации, ее движение между базами данных – существенно для доверия, которое мы испытываем к ней. Профессор Эдинбургского университета П. Бьюнеман излагает свой взгляд на проблему происхождения (provenance) информации, циркулирующей в глобальной сети. Происхождение информации особенно важно в научных исследованиях, которые в настоящее время зачастую основываются на данных, которые многократно копировались,  преобразовывались  и комментировались, прежде чем попасть к пользователю. 

В рамках конференции пройдет семинар «Наукоемкое программное обеспечение» (председатель д.ф.-м.н., профессор А. Марчук, ИСИ СО РАН), который традиционно собирает не только ученых, но и представителей IT-индустрии. В работе секции «Информатика образования», которая пройдет под председательством  д.т.н., профессора ИСИ А. Берса примут участие не только ученые, преподаватели вузов, но и школьные учителя. Несомненный интерес представят семинары «Понимание программ» (сопредседатели зав. лаб. ИСИ СО РАН к.ф-м.н. М. Бульонков и профессор Копенгагенского университета Копенгагена Р. Глюк) и «Знания и онтологии *ELSEWHERE* 2011» (сопредседатели к.ф.-м.н. Н. Шилов и к.ф.-м.н. Ю. Загорулько, ИСИ СО РАН).

Секретарь конференции: Наталья Черемных,
тел. 8-913-372-60-60
cher@iis.nsk.su

Пресс-секретарь: Ирина Крайнева,
тел. 8-923-466-49-85
cora@iis.nsk.su

Страница конференции: http://psi.nsc.ru/ru