ИСТИНА

• Члены программного комитета: Захаров В.А., Кулямин В.В.
• Охват: Международная
• Даты проведения: 21-22 июня 2018
• Место проведения: Ярославль, Russia
• Число участников: 35
• Число иностранных участников: 8
• Число участников из МГУ: 3
• Число докладчиков: 16
• Веб-сайт: http://persons.iis.nsk.su/en/pssv2018
• Описание конференции:

  Семинар "Программные семантики, спецификации и верификация" является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения. В 2018 году девятый семинар PSSV был проведен в Ярославле на базе Ярославского государственного университета имени П.Г. Демидова. Первые восемь семинаров прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге, в 2012 году в Нижнем Новгороде, в 2013 году в Екатеринбурге, в 2014 году в Москве и в 2015 году в Казани, в 2016 году в Санкт-Петербурге, в 2017 году в Москве. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре, связаны с верификацией, спецификациями программ и методами анализа программ.

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2018 A new method of verification of security protocols (Устный)
• Автор: Mironov A.M.

• 2018 On the Expressive Power of Some Extensions of Linear Temporal Logic (Устный)
• Авторы: Захаров Владимир Анатольевич, Гнатенко Антон Романович