![]() |
| |||||||||||||||
PSSV 2024 : Workshop Program Semantics, Specification and Verification | |||||||||||||||
Link: https://persons.iis.nsk.su/en/PSSV-2024 | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
We are pleased to invite you to submit papers to the 2024
International Workshop on Program Semantics, Specification and Verification List of Topics -------------- Topics of interest include (but are not limited to): - formal notations for semantic, specification, and verification - formal models and semantics of programs and systems - formal semantics of programming and specification language - formal description techniques - formal logics for specification and verification - deductive verification, automatic theorem proving and proof assistants - model design, proving, and checking of programs and systems - static and dynamic program analysis - formal approaches to testing and program validation - tools for program analysis and validation - program language theory – from syntax to type systems - program transformations and synthesis - industrial experience and case studies on any of the above or related topics Submission Guidelines --------------------- All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - 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/conferences/?conf=pssv2024 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) |
|