Animation and exchanges in the Petri Nets community

[address@concealed]

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

Attachment: smime.p7s
Description: S/MIME cryptographic signature