SPIN 2019: International SPIN Symposium on Model Checking of Software
- Call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details
This article provides the call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details of SPIN 2019: International SPIN Symposium on Model Checking of Software all at one place.
Conference Ranking
International SPIN Symposium on Model Checking of Software ranking based on CCF, Core, and Qualis is shown below:
|
CCF Ranking
|
C
|
|
Core Ranking
|
|
|
Qualis Ranking
|
|
Click here to check the ranking of any conference.
-
About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.
-
About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.
-
About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here
Conference Acceptance Rate
Below is the acceptance rate of International SPIN Symposium on Model Checking of Software conference for the last few years:
| Year |
Submitted Papers |
Accepted Papers |
Accepted Percentage/Acceptance Rate |
| 2008 | 38 | 18 | 47.4% |
| 2007 | 31 | 14 | 45.2% |
| 2006 | 44 | 19 | 43.2% |
| 2005 | 45 | 15 | 33.3% |
| 2004 | 48 | 19 | 39.6% |
| 2003 | 30 | 14 | 46.7% |
| 2002 | 20 | 10 | 50% |
| 2001 | 26 | 13 | 50% |
| 2000 | 31 | 17 | 54.8% |
We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.
Conference Call for paper
The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.Topics of interest include, but are not limited to:
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
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
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 education and training
Insightful surveys or historical accounts on topics of relevance to the symposium
Submission Deadline
SPIN 2019: International SPIN Symposium on Model Checking of Software submission deadline is 2019-04-05.
Note: It is generally recommended to submit your conference paper
on or before the submission deadline. Generally, conferences do not
encourage to submit the research paper after the deadline is over.
In rare scenarios, conferences extend their deadline. Decision about the
extension of the deadline is generally updated on the official conference webpage.
Notification date
Notification date of SPIN 2019: International SPIN Symposium on Model Checking of Software is 2019-04-27.
Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.
Conference Date
SPIN 2019: International SPIN Symposium on Model Checking of Software will start on 2019-07-15.
Note: This is the date on which the conference starts.
Conference Location
SPIN 2019: International SPIN Symposium on Model Checking of Software will be organized at Beijing, China. This is the place where the conference is organized and the research paper is to be presented.
