posted by user: sadegh_rk || 285 views || tracked by 3 users: [display]

SPIN 2023 : 29th International Symposium on Model Checking of Software


When Apr 26, 2023 - Apr 27, 2023
Where Paris, France
Abstract Registration Due Jan 9, 2023
Submission Deadline Jan 16, 2023
Notification Due Feb 16, 2023
Final Version Due Mar 1, 2023
Categories    formal methods   software   model checking

Call For Papers

The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation.


Topics of interest include, but are not limited to (click to see):

* Formal verification techniques for automated analysis of software
* Formal analysis for modeling languages, such as UML/state charts
* Formal specification languages, temporal logic, design-by-contract
* Model checking
* Analysis of concurrent software
* Automated theorem proving, including SAT and SMT
* Verifying compilers
* Abstraction and symbolic execution techniques
* Static analysis and abstract interpretation
* Combination of verification techniques
* Modular and compositional verification techniques
* Verification of timed and probabilistic systems
* Automated testing using advanced analysis techniques
* Combination of static and dynamic analyses
* Program synthesis
* Derivation of specifications, test cases, or other useful material via formal analysis
* Case studies of interesting systems or with interesting results
* Engineering and implementation of software verification and analysis tools
* Benchmark and comparative studies for formal verification and analysis tools
* Formal methods of education and training
* Insightful surveys or historical accounts on topics of relevance to the symposium
* Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, cloud, and quantum
* Formal techniques to model and analyze societal and legal systems
* Formal analysis of learned systems

Submission Guidelines
The proceedings of SPIN 2023 will be published in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format.

With the exception of survey and history papers, submissions should contain original work. Submitted work must not have been submitted or accepted for publication elsewhere. We invite both long (up to 16 pages) and short (up to 6 pages) papers (not including references and appendices). SPIN 2023 uses a single-blind policy, so submissions need not be anonymized.

We ask authors to submit an abstract prior to the full paper. Papers should be submitted via the EasyChair submission website. The dates (understood as Anywhere on Earth) for submitting the abstract and the full paper are given on the side bar (click the entry to see a conversion to local time).

All papers conforming to the submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, quality of presentation, and appropriate comparison to related work.

At least one author of each accepted paper must attend the symposium and present the paper. Please note that SPIN 2023 adheres to the policy of ETAPS 2023 with regards to physical participation, and this policy is subject to change based on the situation.

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
FSEN 2023   Fundamentals of Software Engineering
AI 2022   8th International Conference on Artificial Intelligence and Applications
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
IEEE-Ei/Scopus-FSPSE 2022   [IEEE/EI/Scopus]2022 International Conference on Frontiers of Signal Processing and Software Engineering (FSPSE 2022)
VMCAI 2022   Verification, Model Checking and Abstract Interpretation
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
SEKE 2023   The 35th International Conference on Software Engineering and Knowledge Engineering
SOFT 2023   9th International Conference on Software Engineering