<div dir="ltr"><div>We're extending the paper submission deadline and still welcome your contributions!</div><div><br></div><div>
Paper (extended abstract) submission - September 30, 2023

</div><div><br></div>> 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!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbjWH_CGH$">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!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbvDVAGv-$">https://innopolis.university/en/</a>)<br>>   located in Innopolis city (<a href="https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Innopolis__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbpIFYs0-$">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!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbtNRJAdG$">https://persons.iis.nsk.su/en/PSSVfrom2022towards2023</a><br>><br>><br>> Best regards,<br>> Alexander Chichigin</div>