Call for Papers
FMICS-AVoCS 2016
International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems
Pisa, Italy, 26-29 September 2016
Important Dates
- Abstract submission for full papers (extended): May 2, 2016
- Submission of full papers (extended): May 9, 2016
- Notification for full papers: June 19, 2016
- Camera ready versions of full papers: July 10, 2016
- Submission of research ideas: August 10, 2016
- Notification for research ideas: August 17, 2016
- FMICS-AVoCS workshop: September 26-29, 2016
Topics of Interest
- Design, specification, refinement, code generation and testing of critical systems based on formal methods.
- Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of critical systems.
- Automated verification including model checking, theorem proving, SAT/SMT constraint solving and abstract interpretation.
- Verification and validation methods addressing industrial applicability, scalability and usability.
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of formal methods.
- Impact of the adoption of formal methods on development processes and costs.
- Application of formal methods in standardization and industrial forums.
Submission and Publication
Full paper submissions must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to another peer-reviewed venue.
Full paper submissions should clearly demonstrate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results, or provide motivation for further research and development.
Full paper submissions should not exceed 15 pages formatted according to the Springer LNCS style. Research ideas were also encouraged as short abstracts to stimulate discussion at the workshop.
The workshop proceedings were planned for Springer's Lecture Notes in Computer Science series (LNCS), with best full papers invited to an extended journal version.