[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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