posted by user: uhiro || 4006 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
PPDP 2019   21st International Symposium on Principles and Practice of Declarative Programming
CAIP 2019   Computer Analysis of Images and Patterns
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)
ALC 2019   The Sixteenth Asian Logic Conference