PSSV 2018, June 21-22, 2018


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

Организатором мероприятия выступает кафедра теоретической информатики (зав. кафедрой, главный редактор журнала “Моделирование и анализ информационных систем” профессор А. В. Соколов) факультета информатики и вычислительной техники ЯрГУ в сотрудничестве с Университетом Иннополис и МГУ.

Международный семинар "Семантика, спецификация и верификация программ: теория и приложения" (PSSV) является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения.

Место проведения: г. Ярославль, Угличская ул., 36, компания Тензор.

Адрес сайта мероприятия: http://persons.iis.nsk.su/en/pssv2018