Первый семинар "Program Semantics, Specification and Verification: Theory and Applications"

Семинар проводится совместно с 5-м международным симпозиумом "Computer Science Symposium in Russia (CSR-2010)" и будет проходить 14-15 июня 2010 года в Казани, Россия.

Тематика семинара

Список тем включает следующие:

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

Официальные языки

  • английский
  • русский

Председатели конференции

  • Валерий Непомнящий, Институт систем информатики РАН, Новосибирск, Россия. (vnep()iis.nsk.su)
  • Валерий Соколов, Ярославский государственный университет, Ярославль, (Россия. sokolov()uniyar.ac.ru)

Программный комитет

  • Наташа Алечина, Университет Нотингема, Великобритания
  • Борис Конев, Университет Ливерпуля, Великобритания
  • Виктор Кулямин, Институт системного программирования РАН, Москва, Россия
  • Всеволод Котляров, Санкт-Петербургский государственный политехнический университет, Санкт-Петербург, Россия
  • Наталия Сидорова, Технический Университет Эиндховена, Нидерланды
  • Николай Шилов, Институт систем информатики РАН, Новосибирск, Россия.
  • Владимир Захаров, Московский государственный университет, Москва, Россия

Прием материалов и публикация

Программный комитете планирует организовать обычные сессии и стендовые презентации. Программный комитет принимает расширенные тезисы докладов (до 6 страниц A4, 12 шрифт, полуторный интервал) на английском и русском языке. Дополнительные детали могут быть включены в приложения объемом до 4-х страниц для программного комитета. Материалы должны быть в формате PDF. Они должны быть посланы как вложение по электронной почте с темой "PSSV-2011" Алексею Промскому. (promsky () iis.nsk.su). Аннотации докладов следует посылать (как вложения) сопредседателям семинара. Подтверждения будут посланы в течение 3-х дней.

Все принятые статьи будут опубликованы в материалах семинара и будут распространяться во время семинара. Лучшие статьи будут опубликованы в одном из российских рецензируемых журналов. По крайней мере один из авторов каждой принятой статьи должен представлять доклад на семинаре.

Принятые статьи

Программа семинара