<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="Apple-Mail-URLShareUserContentTopClass"><br></div><div class="Apple-Mail-URLShareWrapperClass" style="position: relative !important;"><blockquote type="cite" style="border-left-style: none; color: inherit; padding: inherit; margin: inherit;">
40th Annual ACM/SIGAPP Symposium on Applied Computing<br>Software Verification and Testing Track<br>Sicily, Italy, March 31 - April 4, 2025<br>Submission deadline : October 13, 2024<br><br>SAC 2025 website: https://www.sigapp.org/sac/sac2025/<br>SAC-SVT 2025 website: https://sac-svt.github.io/sac-svt-2025/<br><br>==== Important dates ====<br><br>Oct 13, 2024 - Deadline submission of regular papers and SRC research abstracts<br>Nov 20, 2024 - Paper notification<br>Nov 29, 2024 - Camera-ready and author registration<br>Mar 31 - Apr 4, 2025 - ACM Symposium on Applied Computing<br><br>==== ACM Symposium on Applied Computing ====<br><br>The ACM Symposium on Applied Computing (SAC) has gathered scientists<br>from different areas of computing over the last thirty years. The forum<br>gives participants an opportunity to interact with different communities sharing<br>an interest in applied computing.<br><br>SAC 2025 is sponsored by the ACM Special Interest Group on Applied<br>Computing (SIGAPP), and will take place on March 31 - Apr 4, 2025, Sicily, Italy.<br><br>==== Software Verification and Testing Track (SVT) ====<br><br>The Software Verification and Testing track aims to contribute to the<br>challenge of improving the usability of formal methods in software<br>engineering. The track covers areas such as formal methods for<br>verification and testing, based on theorem proving, model checking,<br>static analysis, and run-time verification. We invite authors to submit<br>new results in formal verification and testing, as well as development<br>of technologies to improve the usability of formal methods in software<br>engineering. We also welcome detailed descriptions of applications of<br>mechanical verification to large scale software.<br><br>==== Topics ====<br><br>Possible topics include, but are not limited to:<br>* model checking<br>* theorem proving<br>* correct by construction development<br>* model-based testing<br>* software testing<br>* symbolic execution<br>* static and dynamic analysis<br>* abstract interpretation<br>* analysis methods for dependable systems<br>* software certification and proof carrying code<br>* fault diagnosis and debugging<br>* verification and validation of large scale software systems<br>* real-world applications and case studies applying software testing and verification<br>* benchmarks and data sets for software testing and verification<br><br>==== Submission Guidelines ====<br><br>Paper submissions must report on original, unpublished work. Submitted<br>papers will undergo a double-blind review process. Author(s) name(s) and<br>address(es) must not appear in the body of the paper, and self-reference<br>should be avoided and made in the third person. We welcome research<br>papers and posters. Research papers should have at most 8 two-column<br>pages in ACM format (further two pages, to a total of 10 pages, may be<br>available at a charge). The length of a poster is limited to 2 pages (one<br>extra page may be available at a charge). Please comply to this page limit<br>already at submission time.<br><br>Furthermore, in the context of the Student Research Competition (SRC)<br>program to provide graduate students the opportunity to meet and exchange<br>ideas with researchers and practitioners in their areas of interest, graduate<br>students are invited to submit research abstracts (single author, maximum<br>of 3 pages in ACM camera-ready format) following the instructions published<br>at the SAC 2025 website. Submission of the same abstract to multiple tracks<br>is not allowed.<br><br>Accepted papers will be published in the ACM SAC 2025 proceedings in the<br>ACM digital library. Paper registration is required, allowing the inclusion of<br>the paper/poster in the conference proceedings. An author or a proxy attending<br>SAC MUST present the paper. This is a requirement for the paper/poster to be<br>included in the ACM digital library. No-show of registered papers and posters<br>will result in excluding them from the ACM digital library.<br><br>The submission system for regular papers:<br>https://easychair.org/my/conference?conf=sac-2025<br>The submission system for SRC (Student Research Competition) abstracts:<br>https://easychair.org/my/conference?conf=sacsrc-2025<br><br>==== Track Chairs ====<br><br>Justyna Petke, University College London, United Kingdom<br>Anton Wijs, Eindhoven University of Technology, Netherlands
</blockquote></div></body></html>