We are pleased to invite you to submit papers to the 2024
International Workshop on Program Semantics, Specification and Verification


List of Topics
--------------
Topics of interest include (but are not limited to):

- formal notations for semantic, specification, and verification
- formal models and semantics of programs and systems
- formal semantics of programming and specification language
- formal description techniques
- formal logics for specification and verification
- deductive verification, automatic theorem proving and proof assistants
- model design, proving, and checking of programs and systems
- static and dynamic program analysis
- formal approaches to testing and program validation
- tools for program analysis and validation
- program language theory – from syntax to type systems
- program transformations and synthesis
- industrial experience and case studies on any of the above or related topics


Submission Guidelines
---------------------
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

- regular research submissions in the form of an extended detailed abstract
(6-8 pages in English excluding references but including obligatory section
on related works) to be reviewed by 3 PC members;
- work in progress, position, poster and student research reports
in the form of an extended abstract (2-4 pages in English including
main references and a paragraph on related works) to be reviewed by
a PC member.

Please send your submissions through the EasyChair:
https://easychair.org/conferences/?conf=pssv2024

Venue
-----
The conference will be held in a hybrid mode:

- in person at Innopolis Universty (https://innopolis.university/en/)
located in Innopolis city (https://en.wikipedia.org/wiki/Innopolis),
Republic of Tatarstan, Russia
- and online (platform TBD)