![]() |
| |||||||||||||||||
ATVA 2011 : 9th International Symposium on Automated Technology for Verification and AnalysisConference Series : Automated Technology for Verification and Analysis | |||||||||||||||||
Link: http://www2.ee.ntu.edu.tw/~atva2011/ | |||||||||||||||||
| |||||||||||||||||
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. |
|