posted by user: wimmer || 8503 views || tracked by 20 users: [display]

TACAS 2011 : 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://research.microsoft.com/en-us/um/people/leino/tacas2011/
 
When Mar 26, 2011 - Apr 3, 2011
Where Saarbrücken, Germany
Abstract Registration Due Oct 1, 2010
Submission Deadline Oct 8, 2010
Notification Due Dec 10, 2010
Final Version Due Jan 3, 2011
Categories    verification   formal methods   system analysis
 

Call For Papers

Call for Papers

Tool descriptions and case studies with a conceptual message, as well as theoretical papers with clear relevance for tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:

* Specification and verification techniques for finite and infinite-state systems
* Software and hardware verification
* Theorem-proving and model-checking
* System construction and transformation techniques
* Static and run-time analysis
* Abstraction techniques for modeling and validation
* Compositional and refinement-based methodologies
* Testing and test-case generation
* Analytical techniques for safety, security, or dependability
* Analytical techniques for real-time, hybrid, or stochastic systems
* Integration of formal methods and static analysis in high-level hardware design or software environments
* Tool environments and tool architectures
* SAT and SMT solvers
* Applications and case studies

As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas and findings in general and jargon-independent, rather than in application- and domain-specific, terms. Authors reporting on tools or case studies are strongly encouraged to indicate how their experimental results can be reproduced and confirmed independently.

Related Resources

TACAS 2022   28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems
AI 2022   8th International Conference on Artificial Intelligence and Applications
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
IEEE-ADMIT 2022   2022 International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2022)
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
CPSIOT 2022   2022 International Conference on Cyber Physical Systems and IoT(CPSIOT 2022)
SBMF 2022   25th Brazilian Symposium on Formal Methods