posted by user: mquinson || 978 views || tracked by 4 users: [display]

ACM SAC SVT 2016 : ACM Symposium on Applied Computing -- Track Software Verification and Testing


When Apr 3, 2016 - Apr 8, 2016
Where Pisa, Italy
Submission Deadline Sep 11, 2015
Notification Due Nov 13, 2015
Final Version Due Dec 11, 2015
Categories    verification

Call For Papers

Symposium on Applied Computing been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world over the past thirty years. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant’Anna University, Italy.

The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. These areas include a broad range of topics, but are not limited to:

- Model checking
- Theorem proving
- Correct by construction development
- Model-based testing
- Verification-based testing
- Symbolic execution
- Static and run-time analysis
- Abstract interpretation
- Analysis methods for dependable systems
- Software certification and proof carrying code
- Fault diagnosis and debugging
- Verification of large scale software systems
- Real world applications and case studies applying software verification

Related Resources

SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
UbiComp 2017   2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing
SAC PL 2017   ACM SAC'17 PL Track
HPDC 2017   The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing
CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management
EICS 2017   ACM SIGCHI Symposium on Engineering Interactive Computing Systems
KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
ICDLT 2017   ACM--2017 International Conference on Deep Learning Technologies (ICDLT 2017)--Ei Compendex and Scopus
CF 2017   ACM International Conference on Computing Frontiers