[TYPES/announce] ACM SAC track on Software Verification, Seoul, Korea
Lunjin Lu
l2lu at oakland.edu
Fri Sep 1 15:22:51 EDT 2006
(Apology if you receive multiple copies)
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 8, 2006
Notification of paper acceptance: October 16, 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/20060901/fa765975/attachment.htm
More information about the Types-announce
mailing list