<div dir="ltr">==================================================<br>29th Annual ACM Symposium on Applied Computing<br>Software Verification and Testing Track<br>March 24 - 28, 2014, Gyeongju, Korea<br><br>More information:<br>
<a href="http://fmt.cs.utwente.nl/conferences/sac-svt14/">http://fmt.cs.utwente.nl/conferences/sac-svt14/</a> and<br><a href="http://www.acm.org/conferences/sac/sac2014/">http://www.acm.org/conferences/sac/sac2014/</a><br>
===================================================<br><br>Important dates<br>---------------<br>* September 13, 2013: Submission deadline<br>* November 15, 2013: Notification of acceptance/rejection<br>* December 6, 2013: Camera-ready versions due<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 past twenty-eight<br>years. The forum represents an opportunity to interact with different<br>
communities sharing an interest in applied computing.<br><br>SAC 2014 is sponsored by SIGAPP and will be held at the he historic city<br>of Gyeongju (knows as the Museum without Walls) in Korea.<br><br><br>Software Verification and Testing Track<br>
---------------------------------------<br>We invite authors to submit new results in formal verification and<br>testing, as well as development of technologies to improve the<br>usability of formal methods in software engineering. Also welcome are<br>
detailed descriptions of applications of mechanical verification to<br>large scale software. 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>- verification-based testing<br>- symbolic execution<br>- static and run-time analysis<br>- abstract interpretation<br>- analysis methods for dependable systems<br>- software certification and proof carrying code<br>
- fault diagnosis and debugging<br>- verification of large scale software systems<br>- real world applications and case studies applying software verification<br><br><br>Submissions Guidelines<br>----------------------<br>
Paper submissions must be original, unpublished work. Submissions<br>should be in electronic format, via the START site:<br><a href="https://www.softconf.com/d/sac2014/">https://www.softconf.com/d/sac2014/</a>. Author(s) name(s) and address(es)<br>
must not appear in the body of the paper, and self-reference should be<br>avoided and made in the third person. Submitted paper will undergo a<br>blind review process. Authors of accepted papers should submit an<br>editorial revision of their papers that fits within six two-column<br>
pages (an extra two pages, to a total of eight pages, may be available<br>at a charge). Please comply to this page limitation already at<br>submission time. Accepted papers will be published in the ACM SAC 2014<br>proceedings.<br>
<br>Paper registration is required, allowing the inclusion of the<br>paper/poster in the conference proceedings. An author or a proxy<br>attending SAC MUST present the paper. This is a requirement for the<br>paper/poster to be included in the ACM/IEEE digital library. No-show<br>
of scheduled papers and posters will result in excluding them from the<br>ACM/IEEE digital library.<br><br>A special issue of Science of Computer Programming has been<br>confirmed. Selected papers will be invited for submission, and will be<br>
peer-reviewed according to the standard policy of Science of Computer<br>Programming.<br><br><br>Student Research Competition<br>----------------------------<br>As before, SAC 2013 organises a 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. Guidelines and information about the SRC program can be<br>found at <a href="http://www.acm.org/conferences/sac/sac2014/">http://www.acm.org/conferences/sac/sac2014/</a>. Submission to<br>
the SRC program should be in electronic form via the following website<br><a href="https://www.softconf.com/d/sac-src2014">https://www.softconf.com/d/sac-src2014</a>.<br><br><br>Program Committee<br>-----------------<br>Marco Faella, University of Naples, Italy<br>
Thierry Jeron, IRISA/INRIA Rennes, France<br>Yves Le Traon, University of Luxembourg, Luxembourg<br>Keqin Li, SAP Product Security Research, France<br>Yang Liu, Nanyang Technological University, Singapore<br>Annabelle McIver, Macquarie University, Australi<br>
Mercedes Merayo, Universidad Complutense de Madrid, Spain<br>Stephan Merz, INRIA Nancy, France<br>MohammadReza Mousavi, Halmstad University, Sweden<br>Brian Nielsen, Aalborg University, Denmark<br>Jun Pang (co-chair), University of Luxembourg, Luxembourg<br>
Hongyang Qu, University of Sheffield, UK<br>Hasan Sözer, Özyeğin University, Turkey<br>Marielle Stoelinga (co-chair), University of Twente, Netherlands<br>Lijun Zhang, Chinese Academy of Sciences, China<br></div>