Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: uhiro || 7723 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

ISMSI 2026   2026 10th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (ISMSI 2026)
VMCAI 2026   Verification, Model Checking and Abstract Interpretation
IPTW 2025   16th International Parallel Tools Workshop
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
NLP4KGC 2025   4th NLP4KGC: Natural Language Processing for Knowledge Graph Construction
ICTAI 2025   IEEE 37th International Conference on Tools with Artificial Intelligence
COMPUTATION TOOLS 2025   The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.