posted by user: uhiro || 4865 views || tracked by 11 users: [display]

TACAS 2010 : Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

FacebookTwitterLinkedInGoogle


Conference Series : Tools and Algorithms for Construction and Analysis of Systems
 
Link: http://tacas10.in.tum.de/
 
When Mar 20, 2010 - Mar 28, 2010
Where Paphos, Cyprus
Abstract Registration Due Oct 1, 2009
Submission Deadline Oct 8, 2009
Notification Due Dec 11, 2009
Final Version Due Jan 4, 2010
Categories    static analysis   formal verification   model checking
 

Call For Papers

[Empty]

Related Resources

TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICCQ 2021   IEEE International Conference on Code Quality
TACAS 2020   Tools and Algorithms for Construction and Analysis of Systems
OPDEM 2021   Contribute a chapter to the Open Access book Demographic Analysis - Selected Concepts, Tools, and Applications
IDA 2021   19th Symposium on Intelligent Data Analysis
ISSTA 2021   International Symposium on Software Testing and Analysis
ACM-ACAI 2020-Ei/Scopus 2020   2020 3rd International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2020)
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
ICTAI 2020   International Conference on Tools with Artificial Intelligence
Remote Practices 2020   Remote Practices: Architecture in Proximity