Семинар «Семантика, спецификация и верификация программ: теория и приложения»

Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» в г.Казань, 14-15.06.2010.

Семинар пройдет в рамках пятого международного симпозиума по компьютерным наукам в России (5th International Computer Science Symposium in Russia, CSR-2010, June 16-20, 2010)

Важные даты:

• Представление докладов по электронной почте: 10.03.2010.
• Извещение о включении доклада в программу семинара: 31.03.2010.

Представление текстов докладов
Организаторы семинара приглашают российских и зарубежных специалистов присылать для отбора тексты докладов, которые содержат:

• изложение новых результатов исследований (research papers),
• сообщение о ходе и состоянии исследований (work in progress),
• планы и мотивация перспективных исследований (position papers),
• описание систем и инструментальных средств (tools description).

Объем краткого текста доклада - до 6 страниц (формат А4, шрифт 12 пунктов, через 1,5 интервала) на русском или английском языке. Для изложения необходимых технических деталей можно использовать приложение объемом до 4 страниц, которое выделено в тексте как приложение и рассматривается программным комитетом при отборе докладов. Тексты в формате PDF следует направлять в качестве приложения к электронному письму Алексею Владимировичу Промскому (Институт систем информатики СО РАН, Новосибирск) по адресу: promsky@iis.nsk.su с указанием PSSV-2010 в поле «subject».

Аннотации докладов следует направлять в качестве приложения к электронному письму председателям программного комитета. Подтверждение в получении письма будет послано в течение 3 дней. Программа семинара будет включать устные и стендовые доклады. Краткие тексты (объемом до 6 страниц) всех принятых докладов, хотя бы один автор которых подтвердит своё личное участие в работе семинара, будут опубликованы в виде сборника трудов и будут доступны на семинаре. По итогам семинара планируется публикация избранных расширенных текстов докладов в одном из Российских рецензируемых журналов (входящих в список ВАК).