[Hol-info] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025

[Wijs, A. <A.J...@tu...>]

> 41st Annual ACM/SIGAPP Symposium on Applied Computing
> Software Verification and Testing Track
> Thessaloniki, Greece, March 23 - 27, 2026
> Submission deadline : September 26, 2025
> 
> SAC 2026 website: https://www.sigapp.org/sac/sac2026/
> SAC-SVT 2026 website: https://sac-svt.github.io/sac-svt-2026/
> 
> ==== Important dates ====
> 
> Sep 26, 2025 - Deadline submission of regular papers and SRC research abstracts
> Oct 31, 2025 - Paper notification
> Dec 5, 2025 - Camera-ready copies of accepted papers
> Dec 12, 2025 - Author registration
> Mar 23 - Mar 27, 2026 - ACM Symposium on Applied Computing
> 
> ==== ACM Symposium on Applied Computing ====
> 
> The ACM Symposium on Applied Computing (SAC) has gathered scientists
> from different areas of computing over the last thirty years. The forum
> gives participants an opportunity to interact with different communities sharing
> an interest in applied computing.
> 
> SAC 2026 is sponsored by the ACM Special Interest Group on Applied
> Computing (SIGAPP), and will take place on March 23 - 27, 2026, in
> Thessaloniki, Greece.
> 
> ==== Software Verification and Testing Track (SVT) ====
> 
> The Software Verification and Testing track aims to contribute 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. We invite authors to submit
> new results in formal verification and testing, as well as development
> of technologies to improve the usability of formal methods in software
> engineering. We also welcome detailed descriptions of applications of
> mechanical verification to large scale software.
> 
> ==== Topics ====
> 
> Possible topics include, but are not limited to:
> * model checking
> * theorem proving
> * correct by construction development
> * model-based testing
> * software testing
> * symbolic execution
> * static and dynamic analysis
> * abstract interpretation
> * analysis methods for dependable systems
> * software certification and proof carrying code
> * fault diagnosis and debugging
> * verification and validation of large scale software systems
> * testing and verification of AI models/systems
> * real-world applications and case studies applying software testing and verification
> * benchmarks and data sets for software testing and verification
> 
> ==== Submission Guidelines ====
> 
> Paper submissions must report on original, unpublished work. Submitted
> papers will undergo a double-blind review process. Author(s) name(s) and
> address(es) must not appear in the body of the paper, and self-reference
> should be avoided and made in the third person. We welcome research
> papers and posters. Research papers should have at most 8 two-column
> pages in ACM format (further two pages, to a total of 10 pages, may be
> available at a charge). The length of a poster is limited to 2 pages (one
> extra page may be available at a charge). Please comply to this page limit
> already at submission time.
> 
> Furthermore, in the context of the Student Research Competition (SRC)
> program to provide graduate students the opportunity to meet and exchange
> ideas with researchers and practitioners in their areas of interest, graduate
> students are invited to submit research abstracts (single author, maximum
> of 3 pages in ACM camera-ready format) following the instructions published
> at the SAC 2026 website. Submission of the same abstract to multiple tracks
> is not allowed.
> 
> Accepted papers will be published in the ACM SAC 2026 proceedings in the
> ACM digital library. Paper registration is required, allowing the inclusion of
> the paper/poster in the conference proceedings. An author or a proxy attending
> SAC MUST present the paper. This is a requirement for the paper/poster to be
> included in the ACM digital library. No-show of registered papers and posters
> will result in excluding them from the ACM digital library.
> 
> The submission system for regular papers:
> https://easychair.org/conferences/?conf=sac2026
> The submission system for SRC (Student Research Competition) abstracts:
> https://easychair.org/conferences/?conf=sacsrc2026
> 
> ==== Track Chairs ====
> 
> Jingyi Wang, Zhejiang University, China
> Anton Wijs, Eindhoven University of Technology, Netherlands
>