<div dir="ltr"><div class="gmail_quote">We are pleased to invite you to submit papers to the 14th<br>
International Workshop on Program Semantics, Specification and Verification<br>
(we've skipped number 13)<br>
<br>
<br>
List of Topics<br>
--------------<br>
<br>
Research, work in progress, position and student papers are welcome.<br>
Topics of interest include (but are not limited to):<br>
<br>
- formalisms for program semantics<br>
- formal models and semantics of programs and systems<br>
- semantics of programming and specification languages<br>
- formal description techniques<br>
- logics for formal specification and verification<br>
- deductive program verification<br>
- automatic theorem proving<br>
- model checking of programs and systems<br>
- static and dynamic analysis of programs<br>
- formal approach to testing and validation<br>
- program analysis and verification tools<br>
- theory of programming languages<br>
- type theory<br>
- program synthesis and transformations<br>
<br>
<br>
Submission Guidelines<br>
---------------------<br>
<br>
Program Committee consider the following types of submissions:<br>
<br>
- regular research submissions in the form of an extended detailed abstract<br>
  (6-8 pages in English excluding references but including obligatory section<br>
  on related works) to be reviewed by 3 PC members;<br>
- work in progress, position, poster and student research reports<br>
  in the form of an extended abstract (2-4 pages in English including<br>
  main references and a paragraph on related works) to be reviewed by<br>
a PC member.<br>
<br>
Please send your submissions through the EasyChair:<br>
<a href="https://urldefense.com/v3/__https://easychair.org/cfp/PSSV-2023__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw4AwAsDn$" rel="noreferrer" target="_blank">https://easychair.org/cfp/PSSV-2023</a><br>
<br>
Important Dates<br>
---------------<br>
<br>
- Abstract registration (optional) - September 16, 2023<br>
- Paper (extended abstract) submission - September 23, 2023<br>
- Notification for extended abstracts - October 15, 2023<br>
- Workshop - November 3-4, 2023<br>
- Invitations to post-proceedings - November 8, 2023<br>
- Submission of revised papers to post-proceedings - November 15, 2023<br>
- Notification for extended abstracts - November 22, 2023<br>
<br>
<br>
Venue<br>
-----<br>
<br>
The conference will be held in a hybrid mode:<br>
<br>
- in person at  Innopolis Universty (<a href="https://urldefense.com/v3/__https://innopolis.university/en/__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw0_ixc2_$" rel="noreferrer" target="_blank">https://innopolis.university/en/</a>)<br>
  located in Innopolis city (<a href="https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Innopolis__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfwwUM-HPn$" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/Innopolis</a>),<br>
  Republic of Tatarstan, Russia<br>
- and online (platform TBD)<br>
<br>
Additional Information<br>
----------------------<br>
<br>
<a href="https://urldefense.com/v3/__https://persons.iis.nsk.su/en/PSSVfrom2022towards2023__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw-KDI99t$" rel="noreferrer" target="_blank">https://persons.iis.nsk.su/en/PSSVfrom2022towards2023</a><br>
<br>
<br>
Best regards,<br>
Alexander Chichigin<br>
</div></div>