--------------------------------------------------------------------------------
CALL FOR PAPERS
Software Verification Track
ACM
Symposium on Applied Computing
http://www.cs.wmich.edu/~zijiang/sac2006/
--------------------------------------------------------------------------------
1. SAC 2006
For the last twenty 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 2006 is sponsored by the ACM Special
Interest Group on Applied Computing, and is hosted this year
by
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 (such as Prolog) for
infinite state software verification.
. Proof techniques for verifying specific
classes of software
. 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
http://milo.cs.iupui.edu/sac2006/SubmitAbstract.aspx?TrackID=62.
A confirmation email with further instructions on paper
submission will
be sent to the
contact author. Please contact track chairs or Jeff Allen
(jallen@cs.iupui.edu) 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. Important dates
.
Electronic submission of full papers:
.
Notification of paper acceptance:
.
Camera-ready copy of accepted paper due:
5. Program Committee
. Franjo Ivancic, NEC Labs America,
Inc,
. Radu Grosu,
.
Francesco Logozzo,
. Lunjin Lu(Co-Chair),
. Madhusudan Parthasarathy,
. Robby,
. Abhik Roychoudhury,
. Fausto Spoto, Univ.
. Frank
Stomp,
. Zijiang
Yang(Co-Chair),
. Tian
Zhao, University of Wisconsin-Milwaukee, U.S.A