[TYPES/announce] ACM SAC track on Software Verification -- deadline extension

[Lunjin Lu]

ACM 2007 Symposium on Applied Computing, March 11-15, 2007, Seoul,

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 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

 

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, University of Michigan, USA

Samir Genaim, Universidad Politecnica de Madrid, Spain

Francesco Loggozzo, Ecole Polytechnique, France

Lunjin Lu (Track Co-Chair), Oakland Univ. ,USA

Iman Poernomo, King's College of London, UK

Eric Poll, Radboud Universiteit Nijmegen, The Netherlands

Jan-Georg Smaus, Albert-Ludwigs-Universitaet Freiburg, Germany

Fausto Spoto (Track Co-Chair), Universit¨¤ di Verona, Italy

Chao Wang, NEC Laboratories America, Inc, USA

Ping Yang, Binghamton University, USA

Zijiang Yang(Track Co-Chair), Western Michigan Univ., USA

Tian Zhao, University of Wisconsin-Milwaukee , USA

 

5. 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060907/6c959bd5/attachment.htm