UTV Новости Семинар Семантика, спецификация и верификация программ_Тензор

Семинар Семантика, спецификация и верификация программ_Тензор Печать E-mail
Автор: ЦУТ ЯрГУ   
22.06.2018 21:40

21-22 июня 2018 года в Ярославле прошёл IX Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (”Семантика, спецификация и верификация программ: теория и приложения”, PSSV-2018). Организатором мероприятия выступила кафедра теоретической информатики факультета информатики и вычислительной техники Ярославского государственного университета им. П.Г. Демидова в сотрудничестве с Университетом Иннополис и МГУ. На семинар были приглашены ведущие российские и зарубежные ученые в области спецификации, верификации и формальных методов в моделировании и анализе информационных систем.

Фото:


Видео: