<div dir="ltr"><div><br></div><div><div><div class="gmail_quote"> 36th Annual ACM/SIGAPP Symposium on Applied Computing<br>
Software Verification and Testing Track<br>
Gwangju, Korea<br>
March 22-26, 2021<br>
<br>
<a href="https://www.sigapp.org/sac/sac2021/" rel="noreferrer" target="_blank">https://www.sigapp.org/sac/sac2021/</a><br>
<br>
SAC-SVT 2021 Website : <a href="https://sites.google.com/view/svt2021/" rel="noreferrer" target="_blank">https://sites.google.com/view/svt2021/</a><br>
<br>
==== Important dates ====<br>
<br>
Sep. 15, 2020 - Submission of regular papers and SRC research abstracts<br>
Nov. 10, 2020 - Notification<br>
Nov. 25, 2020 - Camera-ready version<br>
Dec. 9, 2020 - Author registration due date<br>
<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>
represents an opportunity to interact with different communities sharing<br>
an interest in applied computing.<br>
<br>
SAC 2021 is sponsored by the ACM Special Interest Group on Applied<br>
Computing (SIGAPP), and will take place ion March 22-26, 2021 in<br>
Gwangju, Korea.<br>
<br>
==== Software Verification and Testing Track (SVT) ====<br>
<br>
The Software Verification and Testing track aims at contributing 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. Also are 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>
<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<br>
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)<br>
and address(es) must not appear in the body of the paper, and self-<br>
reference should be avoided and made in the third person. We welcome<br>
research papers and posters. Research papers should have at most 8<br>
two-column pages in ACM format (further two pages, to a total of 10<br>
pages, may be available at a charge). The length of a poster is limited<br>
to three pages (one extra page may be available at a charge). Please<br>
comply to this page limitation 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<br>
exchange ideas with researchers and practitioners in their areas of<br>
interest, graduate students are invited to submit research abstracts<br>
(maximum of 4 pages in ACM camera-ready format) following the<br>
instructions published at the SAC 2021 website at<br>
<a href="http://www.sigapp.org/sac/sac2021/file2021/SAC2021-CFSRC.pdf" rel="noreferrer" target="_blank">http://www.sigapp.org/sac/sac2021/file2021/SAC2021-CFSRC.pdf</a><br>
Submission of the same abstract to multiple tracks is not allowed.<br>
<br>
Accepted papers will be published in the ACM SAC 2021 proceedings in the<br>
ACM digital library. Paper registration is required, allowing the<br>
inclusion of the paper/poster in the conference proceedings. An author<br>
or a proxy attending SAC MUST present the paper. This is a requirement<br>
for the paper/poster to be included in the ACM digital library. No-show<br>
of registered papers and posters will result in excluding them from the<br>
ACM digital library.<br>
<br>
Detailed submission instructions will be published on the SAC-SVT 2021<br>
website.<br>
<br>
==== Track Chairs ====<br>
<br>
Erika Abraham, RWTH-Aachen, Germany<br>
Nikolai Kosmatov, CEA List and Thales Research & Technology, France<br>
<br>
For the list of Program Committee members and further information we<br>
refer to the SAC-SVT 2021 Website:<br>
<a href="https://sites.google.com/view/svt2021/" rel="noreferrer" target="_blank">https://sites.google.com/view/svt2021/</a>.<br>
</div></div></div></div>