[Haskell] ACM SAC 2006 CFP: Software Verification Track

[Lunjin Lu]

------------------------------------------------------------------------
--------
                              CALL FOR PAPERS
 
                         Software Verification Track
                      ACM Symposium on Applied Computing
                      April 23-27, 2006, Dijon, France
                   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 
Bourgogne University, Dijon, France. 
 
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 at 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 a
ccepted 
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: September 3, 2005
   . Notification of paper acceptance: October 15, 2005
   . Camera-ready copy of accepted paper due: November 5, 2005
 
5. Program Committee
 
   . Franjo Ivancic, NEC Labs America, Inc, U.S.A.
   . Radu Grosu, SUNY-Stony Brook, U.S.A.
   . Francesco Logozzo, Ecole Polytechnique, France
   . Lunjin Lu(Co-Chair), Oakland University, U.S.A.
   . Madhusudan Parthasarathy, UIUC, U.S.A.
   . Robby, Kansas State University, U.S.A.
   . Abhik Roychoudhury, National Univ. Singapore
   . Fausto Spoto, Univ. di Verona, Italy
   . Frank Stomp, Wayne State University ,U.S.A.
   . Zijiang Yang(Co-Chair), Western Michigan University, U.S.A.
   . Tian Zhao, University of Wisconsin-Milwaukee, U.S.A
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org//pipermail/haskell/attachments/20050817/ea6d384f/attachment-0001.htm