ПЕРВОПРОХОДЦАМ ПРОГРАММИРОВАНИЯ
ПОСВЯЩАЕТСЯ
Восьмая международная Ершовская конференция по информатике (ПСИ-2011) посвящена 80-летию со дня рождения пионера теоретического и системного программирования, создателя новосибирской школы программирования академика А. П. Ершова (1931–1988) и 100-летию со дня рождения создателя операторного метода в программировании, одного из основателей кибернетики и биоинформатики в нашей стране, члена-корреспондента А. А. Ляпунова (1911–1973).
Открытие конференции состоится во вторник, 28 июня в 9:30 в Малом зале Дома ученых СО РАН.
Конференция «Перспективы систем информатики» (ПСИ) впервые была проведена в Новосибирске в 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; e-mail: cher@iis.nsk.su
Пресс-секретарь Ирина Крайнева: 8-923-466-49-85; e-mail: cora@iis.nsk.su
стр. 4
|
