posted by user: sadegh_rk || 2878 views || tracked by 10 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

VSTTE 2024   Verified Software: Theories, Tools, Experiments
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
SPIN 2024   30th International Symposium on Model Checking Software
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
SOENG 2024   10th International Conference on Software Engineering
NFM 2024   NASA Formal Methods Symposium
PDCTA 2024   13th International Conference on Parallel, Distributed Computing Technologies and Applications
NFM 2024   NASA Formal Methods Symposium
VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation