Новосибирский государственный университет.
Тематика конференции включает следующие разделы:
1. Основания анализа и разработки программ и систем:
- методы спецификации, валидации и верификации;
- анализ, синтез и преобразования программ;
- семантика, логика и формальные модели программ;
- частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
- доказательство теорем и проверка моделей;
- теория параллелизма;
- моделирование и анализ систем реального времени и гибридных систем;
- модели и алгоритмы биоинформатики.
2. Методология и технология программирования:
- объектно-ориентированное, компонентное и родовое программирование;
- программирование по контракту;
- создание систем и программ для параллельных и распределенных вычислений;
- программирование в ограничениях;
- мультиагентные технологии;
- перепрограммирование и переиспользование систем;
- интегрированные программные обстановки;
- архитектура программного обеспечения;
- разработка и тестирование программ;
- модельно-управляемая разработка систем и программ;
- "быстрая" разработка программного обеспечения;
- инструментарий технологии программирования;
- понимание и визуализация программ.
3. Информационные технологии:
- модели данных;
- базы данных и информационные системы;
- базы знаний и конструирование знаний;
- технологии биоинформатики;
- онтологии и семантический web;
- электронные библиотеки, собрания и архивы, web-публикации;
- управление равноправными данными.
Кроме того, приветствуются работы, как связующие различные направления,
так и способствующие взаимопониманию ученых различных областей, а также
работы, определяющие перспективы информатики в целом.
Важные даты:
26 января 2011 г.: представление докладов/сообщений
2 апреля 2011 г.: уведомление о принятии/отклонении (электронной почтой)
27 июня - 1 июля 2011 г.: проведение конференции
1 сентября 2011 г.: представление окончательных текстов докладов и сообщений
Сайт конференции -
http://psi.nsc.ru.
Информационное письмо ->>