Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First CFP

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 11, 2015: Paper submission
• 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.

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 Cristia, 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 Salaun, University of Grenoble Alpes, France