http://csr2010.antat.ru/ , June 16-20, 2010)
Важные даты:
Представление докладов по электронной почте: 10.03.2010.
Извещение о включении доклада в программу семинара: 31.03.2010.
Рабочие языки и языки публикации докладов: русский и английский.
===========================================
Тематика семинара:
* формализмы для описания семантики
(например, машины абстрактных состояний Гуревича);
* формальные модели и семантики программ и систем
(например, помеченные системы переходов);
* семантика языков программирования и языков спецификаций
(например, денотационная или аксиоматическая семантика);
* языки формальной спецификации программ и систем
(например, язык SDL);
* логики для формальной спецификации и верификации
(например, темпоральные логики);
* дедуктивная верификация программ
(например, генерация и автоматическое доказательство условий корректности);
* верификация моделей (model checking) программ и систем;
* формальный подход к тестированию и валидации
(например, метод абстрактной интерпретации);
* экспериментальные системы и инструментальные средства тестирования и верификации.
Сопредседатели программного комитета:
* Валерий Александрович Непомнящий (Институт систем информатики СО РАН, vnep@iis.nsk.su),
* Валерий Анатольевич Соколов (Ярославский государственный университет, sokolov@uniyar.ac.ru).
Программный комитет:
* Владимир Анатольевич Захаров (Московский государственный университет),
* Всеволод Павлович Котляров (Санкт-Петербургский Государственный Политехнический Университет)
* Виктор Вячеславович Кулямин (Институт системного программирования РАН, Москва),
* Николай Вячеславович Шилов (Институт систем информатики СО РАН, Новосибирск),
* Natasha Alechina (University of Nottingham, UK),
* Boris Konev (University of Liverpool, UK),
* Natalia Sidorova (Techn. University Eindhoven, Netherlands).