Research, work in progress, position and student papers wer e welcome. List of topics of interest includes (bu t is not limited to): formalisms for program seman tics, formal models and semantics of programs and systems, semantics of programming and specificatio n languages, formal description techniques, logics for formal specification and verification, deduct ive program verification, automatic theorem provin g, model checking of programs and systems, static analysis of programs, formal approach to testing a nd validation, and program analysis and verificati on tools.
\n\nPSSV-2021 is planned to be h eld in hybrid mode online (using Zoom) and offline (at Innopolis University).
\nThe Program Committee solicits regular research s ubmissions in the form of an extended detailed abs tract (6-8 pages in English, LNCS style recommende d) to be reviewed by 3 PC members, as well as work in progress, position, poster and student researc h reports in the form of extended abstract (3-4 pa ges in English, LNCS style recommended) to be revi ewed by a PC member.
\n\nSelected revised and extended papers will be published (after the w orkshop) in the Modeling and Analysis of Informati on Systems, a Russian peer-review journal where PS SV selected and revised papers are published since the very first edition of the workshop in 2010. W e expect (as it was in the previous years of the P SSV) that English translations of some of these se lected papers will appear next year in Automatic C ontrol and Computer Sciences.
\n