posted by user: uhiro || 8494 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

PESARO 2026   The Sixteenth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
ESA 2026   European Symposium on Algorithms
COMPUTATION TOOLS 2026   The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
IEEE ICSRS 2026   IEEE--2026 The 10th International Conference on System Reliability and Safety (ICSRS 2026)
IJCSA 2026   International Journal on Computational Science & Applications
ETTIS 2026   6th International Conference on Emerging Trends and Technologies on Intelligent Systems
AIAPP 2026   13th International Conference on Artificial Intelligence and Applications
IJCSES 2026   International Journal of Computer Science and Engineering Survey
AISIS 2026   2026 International Conference on Artificial Intelligence, Intelligent Systems, and Information Security-EI/Scopus
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective