ИСТИНА

• Члены программного комитета: Кулямин В.В., Захаров В.А., Подымов В.В.
• Охват: Международная
• Даты проведения: 26 июня 2017
• Место проведения: Москва, Russia
• Организаторы:
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
• Число участников: 20
• Число иностранных участников: 2
• Число участников из МГУ: 1
• Число докладчиков: 12
• Веб-сайт: http://persons.iis.nsk.su/en/pssv2017
• Описание конференции:

  Семинар "Программные семантики, спецификации и верификация" - место встречи учёных области применения формальных методов в разработке и анализе программного обеспечения. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре: формализмы для программных семантик; формальные модели и семантики программ и систем; семантики языков программирования и языков спецификаций; формальные спецификации программ и систем; формальные техники описания программ; логики для формальных спецификаций и верификации; дедуктивная верификация программ; автоматическое доказательство теорем; метод проверки моделей для программ и систем; статический анализ программ; формальные подходы к тестированию и валидации; средства для анализа и верификации программ.

• Добавил в систему: Подымов Владислав Васильевич

Доклады:

• 2017 Верификация компонентов операционных систем (Приглашенный)
• Авторы: Кулямин В.В., Хорошилов А.В., Петренко А.К.