[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Apology if you receive multiple copies) ACM 2007 Symposium on Applied Computing, March 11-15, 2007, Korea http://www.acm.org/conferences/sac/sac2007 Technical Track on Software Verification http://www.cs.wmich.edu/~zijiang/sac2007 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 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 o Tools, and case studies for large scale
software verification o Static analysis/Abstract interpretation
for verification o Model checking and deductive techniques
for software verification o Role of declarative programming
languages (such as Prolog) for infinite state software verification. o Proof techniques for verifying specific
classes of software (such as object-oriented programs) o Integration of testing and run-time
monitoring with formal techniques o Validation of UML diagrams, and/or
requirement specifications o Software certification and proof
carrying code o 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 conference
website. 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 2006 proceedings. 4. Program Committee Chandrasekhar Boyapati, Samir Genaim, Universidad Francesco Loggozzo, Lunjin Lu (Track Co-Chair), Iman Poernomo, King's Eric Poll, Radboud Universiteit Jan-Georg Smaus, Albert-Ludwigs-Universitaet Freiburg, Fausto Spoto (Track Co-Chair), Universit¨¤ Chao Wang, NEC Laboratories America, Inc, Ping Yang, Zijiang Yang(Track Co-Chair), Western Michigan Univ., Tian Zhao, 5. Important dates Electronic submission of full
papers: September 8, 2006 Notification of paper
acceptance: October 16, 2006 Camera-ready copy of accepted
paper due: October 30, 2006 |