Logic List Mailing Archive

CfP: 14th International Workshop on Program Semantics, Specification and Verification, 3-4 November 2023, Hybrid - Innopolis (Republic of Tatarstan / Russia)

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)

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

https://persons.iis.nsk.su/en/PSSVfrom2022towards2023


Best regards,
Alexander Chichigin
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php