posted by user: uhiro || 3746 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
MCDMT 2018   Special Issue - Modeling Computing and Data Handling for Marine Transportation - Algorithms, MDPI - Open Access Journal
Petri Nets 2019   Applications and Theory of Petri Nets
IROS 2019   Intelligent RObots and Systems
ICTAI 2018   International Conference on Tools with Artificial Intelligence
CAIP 2019   Computer Analysis of Images and Patterns
ICDAR 2019   International Conference on Document Analysis and Recognition
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
DSA 2019   The Frontiers in Intelligent Data and Signal Analysis DSA 2019
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems