posted by user: uhiro || 5675 views || tracked by 12 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

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CPP 2023   Certified Programs and Proofs 2023
TACAS 2022   28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
IEEE-ADMIT 2022   2022 International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2022)
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
ACM-AMLSP 2022   2022 4th International Conference on Algorithms, Machine Learning and Signal Processing (AMLSP 2022)
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks