posted by user: wimmer || 6200 views || tracked by 22 users: [display]

ACM SAC 2015 : 30th Annual ACM Symposium on Applied Computing / Software Verification and Testing Track

FacebookTwitterLinkedInGoogle

Link: http://fmt.cs.utwente.nl/conferences/sac-svt2015/
 
When Apr 13, 2015 - Apr 17, 2015
Where Salamanca, Spain
Submission Deadline Sep 12, 2014
Notification Due Nov 17, 2014
Final Version Due Dec 8, 2014
Categories    verification   testing   formal methods
 

Call For Papers

==================================================
30th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 13 - 17, 2015, Salamanca, Spain

More information:
http://fmt.cs.utwente.nl/conferences/sac-svt2015/ and
http://www.acm.org/conferences/sac/sac2015/
===================================================


Important dates
---------------
* September 12, 2014: Submission of regular papers
* November 17, 2014: Notification of paper acceptance/rejection
* December 8, 2013: Camera-ready copies of accepted papers


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

SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world
heritage city of Salamanca in Spain.


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/sac2015/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 2015 proceedings.

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

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


Student Research Competition
----------------------------
As before, SAC 2015 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/sac2015/. Submission to
the SRC program should be in electronic form via the following website
http://www.acm.org/conferences/sac/sac2015/SRC-SubmissionUploadPage.htm


Program Committee (to be completed)
-----------------
Laura Brandan Briones, National University of Cordoba, Argentina
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
Marco Faella, University of Naples, Italy
Ylies Falcone, University of Grenoble Alpes, France
Fabrice Kordon, University Pierre et Marie Curie, France
Malte Lochau, Darmstadt University, Germany
Annabelle McIver, Macquarie University, Australia
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Dominique Mery, University of Lorraine, France
Mohammad Mousavi, Halmstad University, Sweden
Brian Nielsen, Aalborg University, Denmark
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Wishnu Prasetya, Utrecht University, The Netherlands
Marjan Sirjani, Reykjavik University, Iceland
Hasan Sözer, Özyegin University, Turkey
Tanja Vos, Valencia University, Spain
Anton Wijs, Eindhoven University of Technology, The Netherlands
Liu Yang, Nanyang Technological University, Singapore
Gianluigi Zavattaro, University of Bologna, Italy
Lijun Zhang, Chinese Academy of Sciences, China


Program Committee Chairs
-----------------
Gwen Salaün, University of Grenoble Alpes, France
Marielle Stoelinga, University of Twente, Netherlands

Related Resources

AICCC--ACM, EI, Scopus 2020   ACM--2020 3rd Artificial Intelligence and Cloud Computing Conference (AICCC 2020)--EI Compendex, Scopus
SOFT 2020   6th International Conference on Software Engineering
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
EMSA 2020   9th International Conference on Embedded Systems and Applications
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
IFIP-ICTSS 2020   32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
ACM--ICSIE--Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
ACM-ACAI 2020-Ei/Scopus 2020   2020 3rd International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2020)