All conferences / ATVA / 2015

ATVA 2015

International Symposium on Automated Technology for Verification and Analysis

Held12–15 Oct 2015 WhereShanghai 🇨🇳 RankCORE A Website atva2015.ios.ac.cn/ ↗

Submission timeline

29 Apr 2015 Abstract registration
2 May 2015 Full paper
15 Jun 2015 Notification

12 Oct 2015 Conference opens

What to submit

Format: 16 pages in Springer’s LNCS format (regular) / 5 (tool)
Proceedings: Springer LNCS — Paywalled, for-profit

4 more days to edit the paper past the deadline in 2011. A special journal issue is also being planned for selected papers.

Where

Loads tiles from OpenStreetMap, which will see your IP address.

Shanghai, China 🇨🇳

Acceptance rate

0%30%60%

2025 36% 21/59
2024 33% 24/73
2023 32% 37/115
2022 31%
2021 31%
2019 42%
2018 40%
2017 37%
2014 38%
2011 48%
2008 32%

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2020, 2026.

Nearby editions

Previous: ATVA 2014
Next: ATVA 2016 — Chiba 🇯🇵
Series: All 15 listed editions of ATVA →

Elsewhere

DBLP: atva ↗
CORE: portal entry 1357 ↗
Calendar: Subscribe to ATVA
Data: This series as JSON

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.