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

IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
AREA 2025   Fifth International Workshop on Agents and Robots for reliable Engineered Autonomy
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
VSTTE 2025   Verified Software: Theories, Tools, Experiments
IEEE-ADMIT 2025   2025 IEEE 4th International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2025)
HeteroPar 2025   23rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
ICESS 2025   The 21st IEEE International Conference on Embedded Software and Systems
COMPUTATION TOOLS 2025   The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
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.