We are pleased to invite you to submit papers to the 14th
International Workshop on Program Semantics, Specification and Verification
(we've skipped number 13)


List of Topics
--------------

Research, work in progress, position and student papers are welcome.
Topics of interest include (but are 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 and dynamic analysis of programs
- formal approach to testing and validation
- program analysis and verification tools
- theory of programming languages
- type theory
- program synthesis and transformations


Submission Guidelines
---------------------

Program Committee consider the following types of submissions:

- 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/cfp/PSSV-2023

Important Dates
---------------

- Abstract registration (optional) - September 16, 2023
- Paper (extended abstract) submission - September 23, 2023
- Notification for extended abstracts - October 15, 2023
- Workshop - November 3-4, 2023
- Invitations to post-proceedings - November 8, 2023
- Submission of revised papers to post-proceedings - November 15, 2023
- Notification for extended abstracts - November 22, 2023


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)