[TYPES/announce] Deadline extension: PSSV-2023 Call for Papers

[Alexander Chichigin]

We're extending the paper submission deadline and still welcome your
contributions!

Paper (extended abstract) submission - September 30, 2023

> 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://urldefense.com/v3/__https://easychair.org/cfp/PSSV-2023__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbjWH_CGH$ 
>
> 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://urldefense.com/v3/__https://innopolis.university/en/__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbvDVAGv-$ )
>   located in Innopolis city (https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Innopolis__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbpIFYs0-$ ),
>   Republic of Tatarstan, Russia
> - and online (platform TBD)
>
> Additional Information
> ----------------------
>
> https://urldefense.com/v3/__https://persons.iis.nsk.su/en/PSSVfrom2022towards2023__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbtNRJAdG$ 
>
>
> Best regards,
> Alexander Chichigin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230925/53dd0c2e/attachment-0001.htm>