1. SAC 2007
For the past twenty-one years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2007 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by Seoul National University in Seoul and The Suwon University in Gyeonggi-do.

2. Technical track on software verification
In the next decade the software industry will have to face its responsibility imposed by a computer-dependent society. Since software is increasing deployed in safety critical applications, correctness and reliability are becoming issues of utmost importance. Consequently, software verification will be a grand challenge for both academic world and computer industry.

The track will focus on theoretical foundations, practical methods as well as case studies for verification of conventional and embedded software. We welcome papers that describe work on combinations of formal verification and program analysis techniques. Tool papers and case studies which report on advances in verifying large software systems are particularly sought. The list of topics includes but not limited to
•    Tools, and case studies for large scale software verification
•    Static analysis/Abstract interpretation for verification
•    Model checking and deductive techniques for software verification
•    Role of declarative programming languages for infinite state software verification.
•    Proof techniques for verifying specific classes of software (such as object-oriented programs)
•    Integration of testing and run-time monitoring with formal techniques
•    Validation of UML diagrams, and/or requirement specifications
•    Software certification and proof carrying code
•    Integration of formal verification into software development projects

3. Guidelines for paper submission

Each paper must not exceed 4,000 words and should not be more than 15 pages long using 11 point font and 1 inch margins on all four sides on letter size paper. Papers that fail to comply with length limitations risk rejection. Each submitted paper will be fully referenced and undergo a blind review process. Author(s)  must not be identified in the submissions, either explicitly or by implication.

Before submitting paper, author(s) should submit a separate cover page that includes title, abstract, list of keywords, and list of authors with full names and postal addresses, telephone numbers, fax numbers, and e-mail addresses. One of the authors must be designated as the primary contact person. Please upload the cover page via this website (will be updated soon). A confirmation email with further instructions on paper submission will be sent to the contact author. Please contact track chairs for any problems with submission.

Authors of accepted papers must submit an editorial revision of their papers that must fit within five two-column pages following the ACM proceedings format (an extra three extra pages may be available at additional cost to the authors). At least one of the authors of an accepted paper must register for the conference and present the paper. Accepted papers will be published in the ACM SAC 2007 proceedings. A set of selected papers, which did not get accepted as full papers, will be accepted as poster papers and will also be published as extended two (2) two-column pages abstracts in the ACM SAC 2007 proceedings.

4. Important dates

• Electronic submission of full papers: September 13, 2006
• Notification of paper acceptance: October 18, 2006
• Camera-ready copy of accepted paper due: October 30, 2006