Formal Aspects of Computing Special Issue on Formal Engineering Methods Guest editors: Stephan Merz (INRIA Nancy), Jun Pang (University of Luxembourg) This special issue is devoted to the scope of the International Conference on Formal Engineering Methods (ICFEM) whose 16th edition was organized by the University of Luxembourg in November 2014. Submissions are invited for the following principal themes, but any topics relevant to the field of formal methods and their practical applications will also be considered. - Abstraction and refinement - Formal specification and modeling - Program analysis - Software verification - Software model checking - Formal approaches to software testing - Formal methods for self-adaptive systems - Formal methods for object and component systems - Formal methods for concurrent and real-time systems - Formal methods for cloud computing and cyber-physical systems - Formal methods for software safety, security, reliability and dependability - Tool development, integration and experiments involving verified systems - Formal methods used in certifying products under international standards - Formal model-based development and code generation Papers describing applications of formal methods in the areas of computer security, biology, and healthcare are also highly relevant. Submission to this special issue is not restricted to papers that have been published at the ICFEM conference. We expect original articles (typically 20-30 pages) that present original contributions that have not been previously published in any archival venue, and that must not be simultaneously submitted for publication elsewhere. Articles that extend previous conference publications should contain significant novel material (about 40% new) and include a note to the reviewers explaining how the submitted article differs from the publication(s) on which it is based. Submissions will be thoroughly reviewed by at least three reviewers. Articles must be written in English, comply with FAoC's author guidelines (see http://www.springer.com/computer/theoretical+computer+science/journal/165?detailsPage=pltci_1365578), and be submitted via the Editorial Manager portal (https://www.editorialmanager.com/faoc/). When submitting your paper, please choose the article type "S.I. : ICFEM 2014". Important Dates Submission extended deadline: 31 May 2015 (firm) Notification: 30 September 2015