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:

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


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


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