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

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

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

2. Методология и технология программирования

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

3. Информационные технологии

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

Кроме того, приветствуются работы, как связующие различные направления, так и способствующие взаимопониманию ученых различных областей, а также работы, определяющие перспективы информатики в целом.