On June 21-22, 2018, the IX international seminar “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2018) will be held in Yaroslavl.

The event is organized by the Department of Theoretical Informatics of Yaroslavl State University (editor-in-chief of the journal “Modeling and analysis of information systems” Prof. Valery A. Sokolov is head is the Department) in cooperation with Innopolis University and MSU.

PSSV is the leading event in Russia in the field of application of formal methods in software development and analysis.

Venue: Uglichskaya str., 36, Yaroslavl, Tensor company.
Website: http://persons.iis.nsk.su/en/pssv2018Адрес сайта мероприятия: http://persons.iis.nsk.su/en/pssv2018