Please note that this newsitem has been archived, and may contain outdated information or links.
3 - 4 November 2020, XI Workshop on Program Semantics, Specification and Verification (PSSV-2020): Theory and Applications, Virtual
Invited Speakers: Natasha Alechina, Ekaterina Komendantskaya, Samvel K. Shoukourian and Ilya Sergey. In addition there will be one invited industrial talk from Leading Research Center for Blockchain Technology of Innopolis University, which will be presented by Leonid Merkin, and a panel discussion on (experimental and industrial) contemporary programming languages.
The Program Committee solicits work in progress, position, poster and student papers (up to 4 pages). Research, work in progress, position and student papers are welcome. All accepted papers will be published before the workshop (format and venue TBD). We expect (as it was in the previous years of the PSSV) that English translations of selected papers will appear next year in Automatic Control and Computer Sciences.
Please note that this newsitem has been archived, and may contain outdated information or links.