![]() |
| |||||||||||||
PSSV 2023 : International Workshop on Program Semantics, Specification and Verification | |||||||||||||
Link: https://persons.iis.nsk.su/en/PSSVfrom2022towards2023 | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
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) |
|