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