Ершовская конференция по информатике (PSI'11)

27 June - 1 July 2011, Novosibirsk

Rubrics: Conference | IT

Activity URL: http://psi.nsc.ru/

Description:

Ершовская конференция по информатике (PSI`11)

27 июня–1 июля 2011 года, Новосибирск, Академгородок.

Конференция посвящается 80-летию со дня рождения выдающегося отечественного ученого, специалиста в области теоретического и системного программирования академика Андрея Петровича Ершова (1931–1988) и 100-летию член-корреспондента АН СССР Алексея Андреевича Ляпунова, внесшего определяющий вклад в становление и развитие кибернетики в нашей стране.

Ранее эта конференция называлась Международная конференция памяти академика А. П. Ершова «Перспективы систем информатики».

Тематика конференции:

  • Основания анализа и разработки программ и систем:
    • методы спецификации, валидации и верификации;
    • анализ, синтез и преобразования программ;
    • семантика, логика и формальные модели программ;
    • частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
    • доказательство теорем и проверка моделей;
    • теория параллелизма;
    • моделирование и анализ систем реального времени и гибридных систем;
    • модели и алгоритмы биоинформатики.
  • Методология и технология программирования:
    • объектно-ориентированное, компонентное и родовое программирование;
    • программирование по контракту;
    • создание систем и программ для параллельных и распределенных вычислений;
    • программирование в ограничениях;
    • мультиагентные технологии;
    • перепрограммирование и переиспользование систем;
    • интегрированные программные обстановки;
    • архитектура программного обеспечения;
    • разработка и тестирование программ;
    • модельно-управляемая разработка систем и программ;
    • «быстрая» разработка программного обеспечения;
    • инструментарий технологии программирования;
    • понимание и визуализация программ.
  • Информационные технологии:
    • модели данных;
    • базы данных и информационные системы;
    • базы знаний и конструирование знаний;
    • технологии биоинформатики;
    • онтологии и семантический web;
    • электронные библиотеки, собрания и архивы, web-публикации;
    • управление равноправными данными.

    В течение конференции будут проходить следующие семинары:

    • Информатика образования;
    • Наукоемкое программное обеспечение;
    • Понимание программ.

    Последний срок представления докладов/сообщений: 26 января 2011 г.

    • Organizers:
    Институт систем информатики им. А. П. Ершова,
    Новосибирский государственный университет.

    Contact information:
    630090, Новосибирск, пр. Акад. Лаврентьева, д. 6, Институт систем информатики им. А. П. Ершова, Секретарь программного комитета Наталья Черемных;
    тел: (383) 330-73-52;
    факс: (383) 332-34-94;
    E-mail: cher@iis.nsk.su, psi2011@iis.nsk.su.

    Information source: http://elementy.ru/