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

TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
BIOA 2019   Bio-inspired algorithms and Bio-systems (Mathematical Biosciences and Engineering)
PPDP 2019   21st International Symposium on Principles and Practice of Declarative Programming
SAM 2019   11th System Analysis and Modelling Conference (incorporating the 19th SDL Forum), Languages, Methods, and Tools for Industry 4.0 - SAM2019
CPAIOR 2019   Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)