posted by user: mquinson || 3386 views || tracked by 3 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://antares.sip.ucm.es/svt16/
 
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

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SBMF 2025   28th Brazilian Symposium on Formal Methods
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)
ACM-JRC Trustworthy 2025   ACM Journal on Responsible Computing Special Issue on Trustworthy AI and Autonomous Systems
ACM ICCDE 2025   ACM--2026 12th International Conference on Computing and Data Engineering (ICCDE 2026)
ASPLOS 2026   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer