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
======

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.