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

PSSV 2024 : Workshop Program Semantics, Specification and Verification

FacebookTwitterLinkedInGoogle

Link: https://persons.iis.nsk.su/en/PSSV-2024
 
When Oct 18, 2024 - Oct 21, 2024
Where hybrid
Abstract Registration Due Sep 8, 2024
Submission Deadline Sep 15, 2024
Notification Due Sep 29, 2024
Categories    program semantics   software verification
 

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)

Related Resources

MBMV 2025   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
FDL 2024   Forum on specification and Design Languages
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
EG 2025   Eurographics - Full Papers Program
CAV 2025   37th International Conference on Computer Aided Verification
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SEMAPRO 2025   The Nineteenth International Conference on Advances in Semantic Processing
INNOV 2025   The Fourteenth International Conference on Communications, Computation, Networks and Technologies
SLIE 2025   Semantic, Logics, Information Extraction and AI (SLIE)
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques