[TYPES/announce] Software Verification and Testing Track at SAC'12: One week deadline extension

Jun PANG pangjun at gmail.com
Mon Aug 29 04:16:27 EDT 2011


==================================================
27th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
March 25 - 29, 2012, Riva del Garda (Trento), Italy

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

Important dates
---------------
* September 7th 2011: Submission deadline (EXTENDED!!!)
* October 12th 2011: Notification of acceptance/rejection
* November 2nd 2011: 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-six years. The
forum represents an opportunity to interact with different communities
sharing an interest in applied computing.

SAC 2012 is sponsored by SIGAPP and will be hosted by the Microsoft
Research - University of Trento Researcher Centre for Computational
and Systems Biology, at Riva del Garda (Trento), Italy.


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/sac2012/. 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 2012 proceedings.

A special issue of Innovations in Systems and Software Engineering
(ISSE) has been. Selected papers will be invited for submission, and
will be peer-reviewed according to the standard policy of ISSE.


Program committee
-----------------
Bernhard K. Aichernig, Graz University of Technology, Austria
Amy Felty, University of Ottawa, Canada
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Chris Hankin, Imperial College, UK
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, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, University of Twente, the Netherlands
Tim Willemse, Eindhoven University of Technology, The Netherlands


More information about the Types-announce mailing list