TAP 2019: International Conference on Tests & Proofs - 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 TAP 2019: International Conference on Tests & Proofs all at one place.

Conference Location	Porto, Portugal
Conference Date	2019-10-09
Notification Date	2019-07-15
Submission Deadline	2019-04-25
Conference Website and Submission Link	https://tap.sosy-lab.org/2019/index.php

Conference Ranking

International Conference on Tests & Proofs ranking based on CCF, Core, and Qualis is shown below:

CCF Ranking
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 Conference on Tests & Proofs conference for the last few years:

Year	Submitted Papers	Accepted Papers	Accepted Percentage/Acceptance Rate

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 TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Research in verification has recently seen a steady convergence of heterogeneous techniques and a synergy between the traditionally distinct areas of testing (and dynamic analysis) and of proving (and static analysis). Formal techniques for counter-example generation based on, for example, symbolic execution, SAT/SMT-solving or model checking, furnish evidence for the potential of a combination of test and proof. The combination of predicate abstraction with testing-like techniques based on exhaustive enumeration opens the perspective for novel techniques of proving correctness. On the practical side, testing offers cost-effective debugging techniques of specifications or crucial parts of program proofs (such as invariants). Last but not least, testing is indispensable when it comes to the validation of the underlying assumptions of complex system models involving hardware and/or system environments. Over the years, there is growing acceptance in research communities that testing and proving are complementary rather than mutually exclusive techniques.

TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Its topics of interest center around the connection between proofs (and other static techniques) and testing (and other dynamic techniques). Papers are solicited on, but not limited to, the following topics:

Verification and analysis techniques combining proofs and tests,
Program proving with the aid of testing techniques,
Deductive techniques supporting the automated generation of test vectors and oracles (theorem proving, model checking, symbolic execution, SAT/SMT solving, constraint logic programming, etc.),
Deductive techniques supporting novel definitions of coverage criteria,
Specification inference by deductive and dynamic methods,
Testing and runtime analysis of formal specifications,
Search-based technics for proving and testing,
Verification of verification tools and environments,
Applications of test and proof techniques in new domains,
Combined approaches of test and proof in the context of formal certifications (Common Criteria, CENELEC, …), and
Case studies, tool and framework descriptions, and experience

Artifact Evaluation

Authors of all accepted papers will be invited to submit (but are not required to submit) the relevant artifact for evaluation by the artifact-evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria:

consistency with and replicability of results in the paper,
completeness,
documentation, and
ease of use.

Positively evaluated papers get the artifact-evaluation badge on the first page of their paper and can add an appendix of 1-2 pages to their camera-ready paper.

For further details on artifact submission, please have a look at the call for artifact submissions.

Submission Deadline

TAP 2019: International Conference on Tests & Proofs submission deadline is 2019-04-25.

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 TAP 2019: International Conference on Tests & Proofs is 2019-07-15.

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

TAP 2019: International Conference on Tests & Proofs will start on 2019-10-09.

Note: This is the date on which the conference starts.

Conference Location

TAP 2019: International Conference on Tests & Proofs will be organized at Porto, Portugal. This is the place where the conference is organized and the research paper is to be presented.

Other Conferences

Conference Name	Conference Date	Notification Date	Submission Deadline
WADCE 2019: International Workshop on Aircraft Design and Control Engineering	2019-12-12	2019-09-10	2019-08-10
IPMI 2019: International Conference on Information Processing in Medical Imaging	2019-06-02		2018-11-26
ICECE' 2019: International Conference on Electronics and Communication Engineering	2019-12-09	2019-09-05	2019-08-15
CyberSA 2019: International Conference on Cyber Situational Awareness, Data Analytics and Assessment	2019-06-03	2019-03-26	2019-01-26
SIGMAP 2019: International Conference on Signal Processing and Multimedia Applications	2019-07-26	2019-05-02	2019-03-21
RQD 2019: ISSAT International Conference on Reliability and Quality in Design	2019-08-01	2019-04-15	2019-03-31
ICCAR 2019: International Conference on Control, Automation and Robotics	2019-04-19	2019-03-15	2019-03-05
ICSGSC 2019: International Conference on Smart Grid and Smart Cities	2019-06-25	2019-05-10	2019-04-20
PRICAI 2019: Pacific Rim International Conference on Artificial Intelligence	2019-08-26	2019-05-31	2019-02-28
ICBICC 2019: International Conference on Big data, IoT, and Cloud Computing	2019-07-29	2019-04-30	2019-04-30