[TYPES/announce] PSSV-2023 Call for Papers

[Alexander Chichigin]

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://urldefense.com/v3/__https://easychair.org/cfp/PSSV-2023__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw4AwAsDn$ 

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!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw0_ixc2_$ )
  located in Innopolis city (https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Innopolis__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfwwUM-HPn$ ),
  Republic of Tatarstan, Russia
- and online (platform TBD)

Additional Information
----------------------

https://urldefense.com/v3/__https://persons.iis.nsk.su/en/PSSVfrom2022towards2023__;!!IBzWLUs!TkhOT3XNAW51TeCVuoJ18kRFax2K82M7av1aXogot35BD3obN0da36vHCoFy1hDLKtgJkdDptXzjIZaAUzxjseqfw-KDI99t$ 


Best regards,
Alexander Chichigin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230829/e3ba4d0a/attachment-0001.htm>