The 32nd International SPIN symposium on Model Checking of Software (SPIN 2026) will be held in Torino, Italy, on 15 and 16 April 2026. SPIN 2026 is the latest in a successful series of workshops and symposia for practitioners and researchers interested in symbolic and state space-based techniques for the validation and analysis of software systems.
重要信息
CCF推荐：C（软件工程/系统软件/程序设计语言）
录用率：45%（9/20，2025年）
时间地点：2026年4月15日-都灵·意大利
大会官网：https://spin-web.github.io/SPIN2026/
Call for Papers
Formal verification techniques for automated analysis of (concurrent) software/hardware, including:
Model checking.
Deductive verification.
Automated theorem proving, including SAT and SMT.
Abstraction and symbolic execution techniques.
Static analysis and abstract interpretation.
Modular and compositional verification techniques.
Verification of timed, probabilistic, hybrid, and quantum systems.
Automated testing using advanced analysis techniques.
Program synthesis.
Derivation of specifications, test cases etc. via formal analysis.
Formal specification languages, temporal logic, design-by-contract.
Formal analysis of learned and learning systems.
Formal and Hybrid Methods in Artificial Intelligence.
Verification of Spatial and Spatio-Temporal Systems.
Any combination of the above.
Application and/or engineering of verification tools, including:
Case studies of interesting systems or with interesting results.
Implementation of novel verification tools.
Benchmarks and comparative studies for verification tools.
Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum.
Submission Categories
Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography and appendices);
Full Tool Papers, accompanied by a Mandatory Artifact, describing work that is closely-related to the development or the evaluation of a verification tool or similar (16 pages, excluding bibliography and appendices);
Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography and appendices).