posted by system || 12077 views || tracked by 24 users: [display]

ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis

FacebookTwitterLinkedInGoogle


Conference Series : Automated Technology for Verification and Analysis
 
Link: http://www2.ee.ntu.edu.tw/~atva2011/
 
When Oct 11, 2011 - Oct 14, 2011
Where Taipei, Taiwan
Abstract Registration Due May 2, 2011
Submission Deadline May 6, 2011
Notification Due Jun 17, 2011
Final Version Due Jul 8, 2011
Categories    verification   formal methods   theoretical computer science
 

Call For Papers

Aims and Objectives

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous eight events were held respectively in Taiwan (2003-5), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), and Singapore (2010).

Papers Solicitations

ATVA 2011 cordially solicits high-quality submissions in the area of automated verification and analysis. The topics of interest include, but are not limited to, the following:

* Specification and verification techniques for finite and infinite-state systems
* Algorithms and tools for verifying models and implementations
* Software and Hardware verification techniques
* Analytical techniques and verification for real-time, hybrid, or stochastic systems
* Deductive, compositional, and abstraction techniques for modeling and validation
* Program analysis and software verification
* Analytical techniques for safety, security, or dependability
* Testing and runtime analysis based on verification technology
* Verification methods for parallel and concurrent hardware/software systems
* Verification in industrial practice
* Applications and case studies

There will be review tracks for both regular papers and tool papers. The proceedings of ATVA 2011 is expected to be published by Springer as a volume in the series of Lecture Notes in Computer Science. A special journal issue is also being planned for selected papers.

Important Dates

# Abstract submission:
2 May 2011
# Paper submission:
6 May 2011
# Notification of acceptance:
17 June 2011
# Final copy of proceedings:
8 July 2011
# Tutorials:
11 October 2011
# Conference:
11-14 October 2011

ATVA 2011 will be co-located with ESWEEK 2011. We expect great participate here in Taipei during the joint event.

Related Resources

ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
FAVPQC 2022   International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
ASYDE 2022   Automated and verifiable Software sYstem DEvelopment
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
IDEAL 2022   23rd International Conference on Intelligent Data Engineering and Automated Learning
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
FCSIT 2022   2022 4th Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2022)
ICoSMS 2023   2023 International Conference on Smart Materials and Surfaces (ICoSMS 2023)
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet