posted by organizer: gabriel_fallen || 543 views || tracked by 1 users: [display]

PSSV 2023 : International Workshop on Program Semantics, Specification and Verification


When Nov 3, 2023 - Nov 4, 2023
Where hybrid
Submission Deadline Sep 30, 2023
Notification Due Oct 15, 2023
Categories    program semantics   verification   model checking   type theory

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)

The submission deadline has been extended to September 30!

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 30, 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 (
located in Innopolis city (,
Republic of Tatarstan, Russia
- and online (platform TBD)

Related Resources

CAV 2024   36th International Conference on Computer Aided Verification
SEMANTiCS 2024   20th International Conference on Semantic Systems
IJP2P 2024   International Journal of Peer-to-Peer networks
LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
BES 2024   8th International Conference on Biomedical Engineering and Science
RV 2024   Runtime Verification 2024
Horizon_ENFIELD 2024   Open Call for Proposals_Researchers Mobility Program
CAV 2024   Computer Aided Verification
NJ 2024   18th NooJ Call for Paper- Applied Linguistics; Computational Linguistics; Discourse Analysis; General Linguistics; Semantics; Text/Corpus Linguistics