posted by user: uhiro || 8389 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
EESP 2026   2nd International Workshop on “Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best Practices”
IJCSA 2026   International Journal on Computational Science & Applications
CADPC 2026   2026 7th International Conference on Civil, Architecture and Disaster Prevention and Control
SPIES 2026   2026 8th International Conference on Smart Power & Internet Energy Systems (SPIES 2026)
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
IJCSES 2026   International Journal of Computer Science and Engineering Survey
IJANS 2026   International Journal on AdHoc Networking Systems
CMIT 2026   13th International Conference of Managing Information Technology
IJCGA 2026   International Journal of Computer Graphics & Animation