[TYPES/announce] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP

[rim.abid at inria.fr]

==================================================
FINAL CALL FOR PAPERS -- ACM SAC-SVT 2016
** Submission Extended to Sep. 28 **

31st Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 3 - 8, 2016, Pisa, Italy

More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/
===================================================


Important dates
---------------

* September 28, 2015: Paper submission (EXTENDED DEADLINE)
* November 13, 2015: Paper notification
* December 11, 2015: Camera-Ready Copies


ACM Symposium on Applied Computing
----------------------------------

The ACM Symposium on Applied Computing (SAC) has gathered scientists
from different areas of computing over the thirty years. The forum
represents an opportunity to interact with different communities
sharing an interest in applied computing.

SAC 2016 is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), and will be hosted by the University of Pisa and
Scuola Superiore Sant'Anna University, 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:

- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- static and run-time analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification of large scale software systems
- real world applications and case studies applying software  verification


Submissions Guidelines
----------------------

Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the START site:
http://www.acm.org/conferences/sac/sac2016/Paper-SubmissionUploadPage.htm

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 2016 proceedings.

Paper registration is required, allowing the inclusion of papers,
posters, or SRC abstracts in the conference proceedings. An author or
a proxy attending SAC MUST present the work. This is a requirement for
the presented work to be included in the ACM/IEEE digital
library. No-show of registered papers, posters, and SRC abstracts will
result in excluding them from the ACM/IEEE digital library.

A special issue of Journal of Systems and Software has been
confirmed. Selected papers will be invited for submission, and will be
peer-reviewed according to the standard policy of Journal of Systems
and Software.


Student Research Competition
----------------------------

As before, SAC 2016 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. Guidelines and information about the SRC program can be
found at http://www.acm.org/conferences/sac/sac2016/. Submission to
the SRC program should be in electronic form via the following website
http://www.acm.org/conferences/sac/sac2016/SRC-SubmissionUploadPage.htm


Program Committee 
-----------------

Rui Abreu, University of Porto, Portugal 
Cristiano Braga, Universidade Federal Fluminense, Brazil
Radu Calinescu, University of York, UK 
Ana Cavalli, National Institute of Telecommunications, France 
Byoungju Choi, Ewha Womans University, Republic of Korea 
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina 
Khaled El-Fakih, American University of Sharjah, UAE 
Ylies Falcone, University of Grenoble Alpes, France 
Maria del mar Gallardo, University of Malaga, Spain 
Arie Gurfinkel, Carnegie Mellon University, USA
Tingting Han, University of London, UK 
Klaus Havelund, Nasa Jet Propulsion Laboratory, USA
Ralf Huuck, UNSW, Australia
Nikolai Kosmatov, CEA, France 
Stefan Leue, University of Konstanz, Germany 
Luis Llana, Universidad Complutense de Madrid, Spain 
Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands 
Mohammad Mousavi, Halmstad University, Sweden 
Madhavan Mukund, Chennai Mathematical Institute, India
Shin Nakajima, National Institute of Informatics, Tokyo, Japan 
Brian Nielsen, Aalborg University, Denmark 
Peter Olveczky, University of Oslo, Norway 
Jun Pang, University of Luxembourg, Luxembourg 
Adenilso Simao, ICMC/USP, Brazil
Marjan Sirjani, Reykjavik University, Iceland 
Marielle Stoelinga, University of Twente, The Netherlands 
Jun Sun, Singapore University of Technology and Design
Tanja Vos, Valencia University, Spain 
Carsten Weise, Imbus AG, Germany 
Anton Wijs, Eindhoven University of Technology, The Netherlands 
Nina Yevtushenko, Tomsk State University, Russia
Cemal Yilmaz, Sabanci University, Turkey 
Fatiha Zaidi, Univ. Paris-Sud, France 
Gianluigi Zavattaro, University of Bologna, Italy 
Lijun Zhang, Chinese Academy of Sciences, China


Program Committee Chairs
-----------------

Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Gwen Salaün, University of Grenoble Alpes, France