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

ASYNC 2018   24st IEEE International Symposium on Asynchronous Circuits and Systems
SBMF 2018   21st Brazilian Symposium on Formal Methods
ICTAI 2018   International Conference on Tools with Artificial Intelligence
Discrete Biology 2018   Discrete models and formal verification in biology
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
EuroSys 2019   European Conference on Computer Systems
ICDCS 2019   International Conference on Distributed Computing Systems
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
COCOA 2018   The 12th Annual International Conference on Combinatorial Optimization and Applications