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
Journal: 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 call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓