posted by organizer: chengchihhong || 5511 views || tracked by 15 users: [display]

ATVA 2019 : International Symposium on Automated Technology for Verification and Analysis

FacebookTwitterLinkedInGoogle


Conference Series : Automated Technology for Verification and Analysis
 
Link: http://atva2019.iis.sinica.edu.tw/
 
When Oct 28, 2019 - Oct 31, 2019
Where Taipei, Taiwan
Abstract Registration Due Apr 26, 2019
Submission Deadline May 3, 2019
Notification Due Jun 16, 2019
Final Version Due Jul 12, 2019
Categories    formal methods   verification   software engineering   model checking
 

Call For Papers

ATVA 2019 is the 17th 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

ATVA welcomes submissions in the following two categories:

* Regular research papers (16 pages, including references)
* Tool papers (6 pages, including references)

For further details, please visit the conference website.

Related Resources

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
DPWH 2020   2nd Conference on Digital Preservation and processing technology of Written heritage
CFIMA 2020-Ei Compendex & Scopus 2020   2020 International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2020)
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
CBIoT 2020   International Conference on Cloud, Big Data and IoT
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
AIAA 2019   9th International Conference on Artificial Intelligence, Soft Computing and Applications