posted by user: sadegh_rk || 707 views || tracked by 8 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://spin-web.github.io/SPIN2023/
 
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
======

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

TASE 2023   Theoretical Aspects of Software Engineering
NFM 2023   NASA Formal Methods Symposium
VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
SOFT 2023   9th International Conference on Software Engineering
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
FSEN 2023   Fundamentals of Software Engineering
SEA 2023   12th International Conference on Software Engineering and Applications
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
VMCAI 2022   Verification, Model Checking and Abstract Interpretation
SEKE 2023   The 35th International Conference on Software Engineering and Knowledge Engineering