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

CAIBDA 2026   IEEE 2026 6th International Conference on Artificial Intelligence, Big Data and Algorithms
AIAIS 2027   2027 International Conference on Artificial Intelligence and Applied Intelligent Systems (AIAIS)
ISIC-SIAW 2026   Call for Papers: Eleventh ISIC Skin Image Analysis Workshop @ MICCAI 2026
COMPUTATION TOOLS 2026   The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
MSEA 2026   2026 5th International Conference on Mathematical Statistics and Economic Analysis
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
ICOAI--ESCI 2026   2026 The 13th International Conference on Artificial Intelligence (ICOAI 2026)--ESCI
Poultry Science 2026   Poultry Science, Management, and Production Conference
CSAC 2026   2026 International Conference on Complex Systems and Automation Control
ICRAS 2026   IEEE--2026 10th International Conference on Robotics and Automation Sciences (ICRAS 2026)