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

Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
TACAS 2022   28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
LAW-XVI 2022   The Sixteenth Linguistic Annotation Workshop
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,
CPSIOT 2022   2022 International Conference on Cyber Physical Systems and IoT(CPSIOT 2022)
ASONAM 2022   IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
ICONIP 2022   29th International Conference on Neural Information Processing-2022
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data