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

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

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

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