Поиск публикаций . Научные конференции и семинары . Новости науки . Научная сеть

    Научные конференции

 
Пример: Modern Telecommunications
RSS Канал


Объявления


Второй международный семинар-совещание «Семантика, спецификация и верификация программ: теория и приложения» в рамках шестого международного симпозиума по компьютерным наукам в России





Тематика семинара:
* формализмы для описания семантики;
* формальные модели и семантики программ и систем;
* семантика языков программирования и языков спецификаций;
* языки формальной спецификации программ и систем;
* логики для формальной спецификации и верификации;
* дедуктивная верификация программ;
* автоматическое доказательство теорем;
* верификация моделей (model checking) программ и систем;
* статический анализ программ;
* формальный подход к тестированию и валидации;
* системы и инструментальные средства тестирования и верификации.

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

Даты проведения: с 12.06.2011 по 13.06.2011
Регистрация: c 03.03.2011 по 11.06.2011
Место проведения: Санкт-Петербургский Академический университет — научно-образовательный центр нанотехнологий РАН (Академический университет)

Сайт конференции: http://logic.pdmi.ras.ru/csr2011/ppsv2011
Программа конференции: http://logic.pdmi.ras.ru/csr2011/ppsv2011

Контактная информация

Email: promsky@iis.nsk.su
Тел: 383 330 63 60




Добавить публикацию - О проекте - Блог - Плагин для поиска - Поиск на своем сайте - Сообщить о проблеме - Размещение рекламы - Наши партнеры Рейтинг@Mail.ru Rambler's Top100