[TYPES/announce] Software Verification and Testing Track at SAC 2013: First CfP

[Jun PANG]

==================================================
28th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
March 18 - 22, 2013, Coimbra, Portugal

More information:
http://www.win.tue.nl/sacsvt13/ and
http://www.acm.org/conferences/sac/sac2013/
===================================================

Important dates
---------------
* September 21st 2012: 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. Publication of accepted articles requires the
commitment of one of the authors to register for the conference and
present the paper. Accepted papers will be published in the ACM SAC
2013 proceedings.

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.


Program committee
-----------------
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Sarfraz Khurshid, University of Texas at Austin, USA
Ramtin Khosravi, University of Tehran, Iran
Yang Liu, National University of Singapore, Singapore
Delphine Longuet, Université 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