> 40th Annual ACM/SIGAPP Symposium on Applied Computing > Software Verification and Testing Track > Sicily, Italy, March 31 - April 4, 2025 > Submission deadline : October 13, 2024 > > SAC 2025 website: https://www.sigapp.org/sac/sac2025/ > SAC-SVT 2025 website: https://sac-svt.github.io/sac-svt-2025/ > > ==== Important dates ==== > > Oct 13, 2024 - Deadline submission of regular papers and SRC research > abstracts > Nov 20, 2024 - Paper notification > Nov 29, 2024 - Camera-ready and author registration > Mar 31 - Apr 4, 2025 - 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 2025 is sponsored by the ACM Special Interest Group on Applied > Computing (SIGAPP), and will take place on March 31 - Apr 4, 2025, Sicily, > Italy. > > ==== 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 > * 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 2025 website. Submission of the same abstract to multiple tracks > is not allowed. > > Accepted papers will be published in the ACM SAC 2025 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/my/conference?conf=sac-2025 > The submission system for SRC (Student Research Competition) abstracts: > https://easychair.org/my/conference?conf=sacsrc-2025 > > ==== Track Chairs ==== > > Justyna Petke, University College London, United Kingdom > Anton Wijs, Eindhoven University of Technology, Netherlands
smime.p7s
Description: S/MIME cryptographic signature
