ATVA: Automated Technology for Verification and Analysis

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ATVA 2024 22nd International Symposium on Automated Technology for Verification and Analysis
Oct 21, 2024 - Oct 24, 2024 Kyoto, Japan Apr 19, 2024
ATVA 2023 Automated Technology for Verification and Analysis
Oct 24, 2023 - Oct 27, 2023 Singapore May 4, 2023 (Apr 27, 2023)
ATVA 2022 The 20th International Symposium on Automated Technology for Verification and Analysis
Oct 25, 2022 - Oct 28, 2022 Beijing, China May 15, 2022 (May 8, 2022)
ATVA 2021 The 19th International Symposium on Automated Technology for Verification and Analysis
Oct 18, 2021 - Oct 22, 2021 Gold Coast, Australia Apr 23, 2021
ATVA 2019 International Symposium on Automated Technology for Verification and Analysis
Oct 28, 2019 - Oct 31, 2019 Taipei, Taiwan May 3, 2019 (Apr 26, 2019)
ATVA 2018 International Symposium on Automated Technology for Verification and Analysis
Oct 7, 2018 - Oct 10, 2018 Los Angeles, USA May 4, 2018 (Apr 27, 2018)
ATVA 2016 14th International Symposium on Automated Technology for Verification and Analysis
Oct 17, 2016 - Oct 19, 2016 Chiba, Japan May 13, 2016 (May 7, 2016)
ATVA 2015 13th International Symposium on Automated Technology for Verification and Analysis
Oct 12, 2015 - Oct 15, 2015 Shanghai, China May 2, 2015 (Apr 29, 2015)
ATVA 2014 International Symposium on Automated Technology for Verification and Analysis
Nov 3, 2014 - Nov 7, 2014 Sydney Apr 15, 2014
ATVA 2013 International Symposium on Automated Technology for Verification and Analysis
Oct 15, 2013 - Oct 18, 2013 Hanoi, Vietnam Apr 6, 2013
ATVA 2012 10th International Symposium on Automated Technology for Verification and Analysis
Oct 3, 2012 - Oct 6, 2012 Thiruvananthapuram (Trivandrum), India Apr 30, 2012
ATVA 2010 8th International Symposium on Automated Technology for Verification and Analysis
Sep 21, 2010 - Sep 24, 2010 Singapore Apr 12, 2010
ATVA 2009 7th International Symposium on Automated Technology for Verification and Analysis
Oct 14, 2009 - Oct 16, 2009 Macao SAR, China May 1, 2009
 
 

Present CFP : 2024

ATVA 2024 is the 22nd in a series of symposia aimed at bringing together academics, industrial researchers, and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics:

Formalisms for modeling hardware, software, and embedded systems
Specification and verification of finite-state, infinite-state, and parameterized system
Program analysis and software verification
Analysis and verification of hardware circuits, systems-on-chip, and embedded systems
Analysis of real-time, hybrid, priced, weighted, and probabilistic systems
Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
Analytical techniques for safety, security, and dependability
Testing and runtime analysis based on verification technology
Analysis and verification of parallel and concurrent systems
Verification in industrial practice
Synthesis for hardware and software systems
Applications and case studies
Automated tool support

More information is coming soon!



Important Dates

AoE (Anywhere on Earth)

Paper submission:
April 19, 2024
AE submission for tool papers:
May 2, 2024
Rebuttal period:
June 4 - 7, 2024
Author notification:
June 19, 2024
AE submission for regular papers:
June 25, 2024
Conference:
October 21 - 24, 2024
 

Related Resources

DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
CAV 2024   36th International Conference on Computer Aided Verification
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
IDEAL 2024   Intelligent Data Engineering and Automated Learning
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)