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

COMPUTATION TOOLS 2026   The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
NeuS 2026   3rd International Conference on Neuro-Symbolic Systems
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
Systems (MDPI) 2025   Special Issue Title: Hypothesis-Driven Artificial Intelligence Approaches for Complex Systems Biology
NLBSE Tools 2026   5th International Workshop on Natural Language-based Software Engineering - Tool Competition
SI Legal Systems 2025   Journal Special Issue on Compliance, Processes, and AI Technologies for Legal Systems