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

← Возврат к списку