[FM-India] Extended deadline -- Software Verification and Testing Track at ACM SAC 2013

[Madhavan Mukund]

 From: Jun PANG <pangjun at gmail.com>
 To: fmics at inrialpes.fr, petrinet at informatik.uni-hamburg.de, 
 	theorynt at listserv.nodak.edu, qest-announce at iti.uiuc.edu, 
 	ipalist at listserver.tue.nl, nvti-list at cwi.nl, puml-list at cs.york.ac.uk, 
 	types-announce at lists.seas.upenn.edu, lics at informatik.hu-berlin.de, 
 	ecoop-info at ecoop.org, pvs-announce at csl.sri.com, isabelle-users at cl.cam.ac.uk, 
 	announcements at lists.artist-embedded.org, events at fmeurope.org, 
 	acm-fse at lists.inf.unisi.ch, fmindia at cmi.ac.in, coq-club at pauillac.inria.fr, 
 	procos <PROCOS at jiscmail.ac.uk>, theorem-provers at ai.mit.edu, 
 	om-announce at openmath.org
 Cc: "M. Mousavi" <M.R.Mousavi at tue.nl>
 Date: Wed, 19 Sep 2012 10:48:29 +0200
 Subject: Extended deadline -- Software Verification and Testing Track at ACM
 SAC 2013
 
 ==================================================
 28th Annual ACM Symposium on Applied Computing
 Software Verification and Testing Track
 March 18 - 22, 2013, Coimbra, Portugal
 
 ** Extended paper submission deadline: September 28, 2012 **
 
 (Proceedings published by ACM, Selected papers invited to a special
 issue of Science of Computer Programming)
 
 More information:
 http://www.win.tue.nl/sacsvt13/ and
 http://www.acm.org/conferences/sac/sac2013/
 ===================================================
 
 Important dates
 ---------------
 * September 28th 2012: Extended submission deadline
 * November 10th 2012: Notification of acceptance/rejection
 * November 30th 2012: Camera-ready versions due
 
 
 ACM Symposium on Applied Computing
 ----------------------------------
 The ACM Symposium on Applied Computing (SAC) has gathered scientists
 from different areas of computing over the past twenty-seven
 years. The forum represents an opportunity to interact with different
 communities sharing an interest in applied computing.
 
 SAC 2013 is sponsored by SIGAPP and will be held at the Institute of
 Engineering of the Polytechnic Institute of Coimbra, Coimbra,
 Portugal.
 
 
 Software Verification and Testing Track
 ---------------------------------------
 We invite authors to submit new results in formal verification and
 testing, as well as development of technologies to improve the
 usability of formal methods in software engineering. Also welcome are
 detailed descriptions of applications of mechanical verification to
 large scale software. Possible topics include, but are not limited to:
 
 - tools and techniques for verification of large scale software systems
 - real world applications and case studies applying software verification
 - static and run-time analysis
 - abstract interpretation
 - model checking
 - theorem proving
 - refinement and correct by construction development
 - model-based testing
 - verification-based testing
 - run-time verification
 - symbolic execution and partial evaluation
 - analysis methods for dependable systems
 - software certification and proof carrying code
 
 
 Submissions guidelines
 ----------------------
 Paper submissions must be original, unpublished work. Submissions
 should be in electronic format, via the START site:
 https://www.softconf.com/c/sac2013/. Author(s) name(s) and address(es)
 must not appear in the body of the paper, and self-reference should be
 avoided and made in the third person. Submitted paper will undergo a
 blind review process. Authors of accepted papers should submit an
 editorial revision of their papers that fits within six two-column
 pages (an extra two pages, to a total of eight pages, may be available
 at a charge). Please comply to this page limitation already at
 submission time. Accepted papers will be published in the ACM SAC
 2013 proceedings.
 
 For accepted papers, registration for the conference is required and
 allows accepted papers to be printed in the conference
 proceedings. The accepted paper MUST be presented by an author or a
 proxy. This is a requirement for the paper to be part of the ACM/IEEE
 digital library.
 
 A special issue of Science of Computer Programming (SCP) has been
 confirmed. Selected papers will be invited for submission, and will be
 peer-reviewed according to the standard policy of SCP.
 
 (NEW for SAC 2013) Student Research Competition (SRC) Program:
 Graduate students are invited to submit research abstracts (minimum of
 2-page and maximum of 4-page) following the instructions published at
 SAC 2013 website. Submission of the same abstract to multiple tracks
 is not allowed. All research abstract submissions will be reviewed by
 researchers and practitioners with expertise in the track focus area
 to which they are submitted. Authors of selected abstracts will have
 the opportunity to give poster presentations of their work and compete
 for three top-winning places. The SRC committee will evaluate and
 select First-, Second-, and Third- place winners. The winners will
 receive cash awards and SIGAPP recognition certificates during the
 conference banquet. Authors of selected abstracts are eligible to
 apply to the SIGAPP Student Travel Award program for support.
 
 
 Program committee
 -----------------
 Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
 Sarfraz Khurshid, University of Texas at Austin, USA
 Ramtin Khosravi, University of Tehran, Iran
 Keqin Li, SAP Research, France
 Yang Liu, National University of Singapore, Singapore
 Delphine Longuet, Universite Paris-Sud 11, France
 Yves Le Traon, University of Luxembourg, Luxembourg
 MohammadReza Mousavi (co-chair), Eindhoven University of Technology,
 The Netherlands
 Mercedes Merayo, Universidad Complutense de Madrid, Spain
 Stephan Merz, INRIA Nancy, France
 Markus Mueller-Olm, University of Muenster, Germany
 Jun Pang (co-chair), University of Luxembourg, Luxembourg
 Dave Parker, University of Birmingham, UK
 Hongyang Qu, Oxford University, UK
 Martin Steffen, University of Oslo, Norway
 Tim Willemse, Eindhoven University of Technology, The Netherlands