Categories |
Call for Papers |
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 |
Summary |
ATVA 2024 : 22nd International Symposium on Automated Technology for Verification and Analysis will take place in Kyoto, Japan. It’s a 4 days event starting on Oct 21, 2024 (Monday) and will be winded up on Oct 24, 2024 (Thursday). ATVA 2024 falls under the following areas: etc. Submissions for this Symposium can be made by Apr 19, 2024. Authors can expect the result of submission by Jun 19, 2024. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ATVA 2024
|
Credits and Sources |
[1] ATVA 2024 : 22nd International Symposium on Automated Technology for Verification and Analysis |