posted by user: uhiro || 3840 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
Petri Nets 2019   Applications and Theory of Petri Nets
TOOLS 2019   Technology of Object-Oriented Languages and Systems
ACM TSAS DL 2019   ACM TSAS - Special issue on Deep Learning for Spatial Algorithms and Systems
RecSys 2019   13th ACM Conference on Recommender Systems
CAIP 2019   Computer Analysis of Images and Patterns
CPAIOR 2019   Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ICDAR 2019   International Conference on Document Analysis and Recognition
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
DSA 2019   The Frontiers in Intelligent Data and Signal Analysis DSA 2019