| Conference Location | Taipei City, Taiwan |
| Conference Date | 2019-10-28 |
| Notification Date | 2019-06-16 |
| Submission Deadline | 2019-05-03 |
| Conference Website and Submission Link | http://atva2019.iis.sinica.edu.tw/ |
| CCF Ranking | C |
| Core Ranking | A |
| Qualis Ranking | B1 |
| Year | Submitted Papers | Accepted Papers | Accepted Percentage/Acceptance Rate |
|---|---|---|---|
| 2007 | 88 | 36 | 40.9% |
| 2006 | 137 | 35 | 25.5% |
| 2005 | 95 | 33 | 34.7% |
| 2004 | 69 | 24 | 34.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.
| April 26, 2019 (AoE) | Abstract submission deadline |
| May 3, 2019 (AoE) | Paper submission deadline |
| June 16, 2019 | Notification |
| June 23, 2019 (AoE) | Artifact submission deadline |
| July 24, 2019 | Artifact notification |
| July 26, 2019 (AoE) | Camera-ready version |
| October 27, 2019 | INFINITY 2019 |
| October 28-31, 2019 | Conference |
| October 31, 2019 | Student Work-in-progress Workshop |
ATVA 2019: International Symposium on Automated Technology for Verification and Analysis submission deadline is 2019-05-03.
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 of ATVA 2019: International Symposium on Automated Technology for Verification and Analysis is 2019-06-16.
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.
ATVA 2019: International Symposium on Automated Technology for Verification and Analysis will start on 2019-10-28.
Note: This is the date on which the conference starts.
ATVA 2019: International Symposium on Automated Technology for Verification and Analysis will be organized at Taipei City, Taiwan. This is the place where the conference is organized and the research paper is to be presented.
