News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

4 - 5 November 2021, XII Workshop on Program Semantics, Specification and Verification (PSSV-2021): Theory and Applications, Virtual and Innopolis, Russia

Date: 4 - 5 November 2021
Location: Virtual and Innopolis, Russia
Deadline: Sunday 10 October 2021

Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to): formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, formal description techniques, logics for formal specification and verification, deductive program verification, automatic theorem proving, model checking of programs and systems, static analysis of programs, formal approach to testing and validation, and program analysis and verification tools.

PSSV-2021 is planned to be held in hybrid mode online (using Zoom) and offline (at Innopolis University).

The Program Committee solicits regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) to be reviewed by 3 PC members, as well as work in progress, position, poster and student research reports in the form of extended abstract (3-4 pages in English, LNCS style recommended) to be reviewed by a PC member.

Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems, a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010. We expect (as it was in the previous years of the PSSV) that English translations of some of these selected papers will appear next year in Automatic Control and Computer Sciences.

For more information, see https://persons.iis.nsk.su/en/pssv21.

Please note that this newsitem has been archived, and may contain outdated information or links.