[ 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
