Мероприятия

« вернуться к списку

версия для печати

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

регион: Новосибирская обл.

город: Новосибирск

место проведения: Институт систем информатики им. А.П. Ершова

области знаний:

• математика

тип мероприятия: конференция

статус мероприятия: международное

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

контингент участников:

• все желающие

окончание регистрации: 23 января 2006

начало мероприятия: 27 июня 2006

возможность публикации: научная статья

контакты:

• Наталья Черемных,
• 630090, Россия, Новосибирск, пр. Акад. Лаврентьева, д. 6,Институт систем информатики имени А.П. Ершова
• тел: +7 (383) 330-73-52
• факс: +7 (383) 332-34-94
• e-mail: psi06@iis.nsk.su

ссылка: сайт с информацией

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

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

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

Тематика конференции
Тематика конференции включает следующие разделы:

Основания анализа и разработки программ и систем

• методы спецификации, валидации и верификации;
• анализ, синтез и преобразования программ;
• семантика, логика и формальные модели программ;
• частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
• доказательство теорем и проверка моделей;
• теория параллелизма;
• моделирование и анализ систем реального времени и гибридных систем;
• модели и алгоритмы биоинформатики.

• объектно-ориентированное, компонентное и родовое программирование;
• программирование по контракту;
• создание систем и программ для параллельных и распределенных вычислений;
• программирование в ограничениях;
• мультиагентные технологии;
• перепрограммирование и переиспользование систем;
• интегрированные программные обстановки;
• архитектура программного обеспечения;
• разработка и тестирование программ;
• модельно-управляемая разработка систем и программ;
• "быстрая" разработка программного обеспечения;
• инструментарий технологии программирования;
• понимание и визуализация программ.

• модели данных,
• базы данных и информационные системы;
• базы знаний и конструирование знаний;
• онтологии и семантический web;
• электронные библиотеки, собрания и архивы, web-публикации;
• управление равноправными данными.

Обсуждение

Добавить комментарий

Обсуждение материалов доступно только после регистрации.

« к началу страницы