SAC 2026

Submission timeline

• 17 Oct 2025 Full paper EST 26 Sep 2025 → 10 Oct 2025 +14 days
  10 Oct 2025 → 17 Oct 2025 +7 days
• 21 Nov 2025 Notification 31 Oct 2025 → 21 Nov 2025 +21 days

• 23 Mar 2026 Conference opens

What to submit

Format

8+2 pages ACM

Proceedings

ACM — Free access

Reviewing

Double blind

39 tracks, student abstracts, Student Research Competition, etc.

Call for papers

• After a deadline extension SAC-2026-extended2.txt · TXT · shown below
• After a deadline extension SAC-2026-extended.txt · TXT
• As first published SAC-2026.txt · TXT
• As first published SAC-2026.pdf · PDF

Posters, images and calls for participation are kept for the record but not reproduced here.

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.sigapp.org/sac/sac2026/.

41st Annual ACM/SIGAPP Symposium on Applied Computing
Software Verification and Testing Track
Thessaloniki, Greece, March 23 - 27, 2026
Submission deadline : October 17, 2025

SAC 2026 website: https://www.sigapp.org/sac/sac2026/
SAC-SVT 2026 website: https://sac-svt.github.io/sac-svt-2026/

==== Important dates ====

Oct 17, 2025 - Deadline submission of regular papers and SRC research abstracts
Nov 21, 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