<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">2nd CfP - Software Verification and Testing Track at SAC 2023<br class=""><br class=""> 38th Annual ACM/SIGAPP Symposium on Applied Computing<br class=""> Software Verification and Testing Track<br class=""> Tallinn, Estonia<br class=""> March 27-31, 2023<br class=""><br class="">SAC 2023 website:<br class=""><a href="https://www.sigapp.org/sac/sac2023/" class="">https://www.sigapp.org/sac/sac2023/</a><div class=""><br class="">SAC-SVT 2023 website: <br class=""><a href="http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023" class="">http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023</a></div><div class=""><br class=""><br class="">==== Important dates ====<br class=""><br class="">Oct. 1, 2022 - Submission of regular papers and SRC research abstracts<br class="">Nov. 19, 2022 - Notification<br class="">Dec. 6, 2022 - Camera-ready version<br class="">Dec. 6, 2022 - Author registration due date<br class=""><br class="">==== ACM Symposium on Applied Computing ====<br class=""><br class="">The ACM Symposium on Applied Computing (SAC) has gathered scientists<br class="">from different areas of computing over the last thirty years. The forum<br class="">represents an opportunity to interact with different communities sharing<br class="">an interest in applied computing.<br class=""><br class="">SAC 2023 is sponsored by the ACM Special Interest Group on Applied<br class="">Computing (SIGAPP), and will take place on March 27-31, 2023 in<br class="">Tallinn, Estonia.<br class=""><br class="">==== Software Verification and Testing Track (SVT) ====<br class=""><br class="">The Software Verification and Testing track aims at contributing to the<br class="">challenge of improving the usability of formal methods in software<br class="">engineering. The track covers areas such as formal methods for<br class="">verification and testing, based on theorem proving, model checking,<br class="">static analysis, and run-time verification. We invite authors to submit<br class="">new results in formal verification and testing, as well as development<br class="">of technologies to improve the usability of formal methods in software<br class="">engineering. Also are welcome detailed descriptions of applications of<br class="">mechanical verification to large scale software.<br class=""><br class="">==== Topics ====<br class=""><br class="">Possible topics include, but are not limited to:<br class=""><br class="">* model checking<br class="">* theorem proving<br class="">* correct by construction development<br class="">* model-based testing<br class="">* software testing<br class="">* symbolic execution<br class="">* static and dynamic analysis<br class="">* abstract interpretation<br class="">* analysis methods for dependable systems<br class="">* software certification and proof carrying code<br class="">* fault diagnosis and debugging<br class="">* verification and validation of large scale software systems<br class="">* real world applications and case studies applying software testing<br class=""> and verification<br class="">* benchmarks and data sets for software testing and verification<br class=""><br class="">==== Submission Guidelines ====<br class=""><br class="">Paper submissions must report on original, unpublished work. Submitted<br class="">papers will undergo a double-blind review process. Author(s) name(s)<br class="">and address(es) must not appear in the body of the paper, and self-<br class="">reference should be avoided and made in the third person. We welcome<br class="">research papers and posters. Research papers should have at most 8<br class="">two-column pages in ACM format (further two pages, to a total of 10<br class="">pages, may be available at a charge). The length of a poster is limited<br class="">to three pages (one extra page may be available at a charge). Please<br class="">comply to this page limitation already at submission time.<br class=""><br class="">Furthermore, in the context of the Student Research Competition (SRC)<br class="">Program to provide graduate students the opportunity to meet and<br class="">exchange ideas with researchers and practitioners in their areas of<br class="">interest, graduate students are invited to submit research abstracts<br class="">(maximum of 4 pages in ACM camera-ready format) following the<br class="">instructions published at the SAC 2023 website at<br class=""><br class=""><a href="https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf" class="">https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf</a></div><div class=""><br class="">Submission of the same abstract to multiple tracks is not allowed.<br class=""><br class="">Accepted papers will be published in the ACM SAC 2023 proceedings in the<br class="">ACM digital library. Paper registration is required, allowing the<br class="">inclusion of the paper/poster in the conference proceedings. An author<br class="">or a proxy attending SAC MUST present the paper. This is a requirement<br class="">for the paper/poster to be included in the ACM digital library. No-show<br class="">of registered papers and posters will result in excluding them from the<br class="">ACM digital library.<br class=""><br class="">Detailed submission instructions are available on the SAC 2023<br class="">website. <br class=""><br class="">==== Track Chairs ====<br class=""><br class="">Georgiana Caltais, University of Twente, The Netherlands<br class="">Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France<br class=""><br class="">For further information we refer to the SAC-SVT 2023 website:<br class=""><a href="http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023" class="">http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023</a></div></body></html>