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

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

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


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





Семинар пройдет в рамках пятого международного симпозиума по компьютерным наукам в России (5th International Computer Science Symposium in Russia, CSR-2010, 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).

Даты проведения: с 14.06.2010 по 15.06.2010
Регистрация: c 27.01.2010 по 10.03.2010
Место проведения: Казань

Сайт конференции: http://www.iis.nsk.su/news/conferences/pdf/20100127_PSSV_2010_CFP_ru.pdf

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

Адрес: 630090, г.Новосибирск, пр. Лаврентьева, д.6, Институт систем информатики им. А.П. Ершова
Email: promsky@iis.nsk.su
Тел: (383) 330 63 60
Факс: (383) 332 34 94




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