<div dir="ltr">ICFEM 2022<br>October 24-27, 2022, Madrid, Spain<br><a href="https://urldefense.com/v3/__http://maude.ucm.es/ICFEM22/__;!!IBzWLUs!Cy-h7jAKIdNrA64iSrEz1GfgleVA5z-4FKTqT4rrQ9o7Jnanrh-d-EiGlfFWaZ_xfA60JpTYW5FeGg$">http://maude.ucm.es/ICFEM22/</a><br><br>Overview<br>--------<br>ICFEM is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world.<br><br>Participation<br>-------------<br><br>We expect ICFEM 2022 to take place physically. However, in case any participant requires to assist/present virtually we will provide support for attending the conference online.<br><br>Topics of Interest<br>------------------<br>Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:<br><br>- Abstraction, refinement and evolution<br>- Formal specification and modelling<br>- Formal verification and analysis<br>- Model checking<br>- Formal approaches to software testing and inspection<br>- Formal methods for self-adaptive systems<br>- Formal methods for object-oriented systems<br>- Formal methods for component-based systems<br>- Formal methods for concurrent and real-time systems<br>- Formal methods for cloud computing<br>- Formal methods for cyber-physical systems<br>- Formal methods for software safety and security<br>- Formal methods for software reliability and dependability<br>- Development, integration and experiments involving verified systems<br>- Formal certification of products under international standards<br>- Formal model-based development and code generation<br><br>Important Dates<br>---------------<br>Workshop/Tutorial Proposals: March 13, 2022 (send your proposals to <a href="mailto:ariesco@ucm.es">ariesco@ucm.es</a>)<br>Abstract Submission: April 10, 2022 (AOE)<br>Paper Submission: April 17, 2022 (AOE)<br>Author Notification: June 26, 2022<br>Camera-ready versions: July 10, 2022<br>Conference: October 24-27, 2022<br><br>Publication<br>-----------<br>The proceedings of the ICFEM 2022 symposium are planned to be published in Lecture Notes in Computer Science (Springer). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journals indexed in the JCR. In particular, selected papers in the topics of the Journal of Logical and Algebraic Methods in Programming will be invited to a special issue.<br><br>Invited speakers<br>----------------<br><br>Santiago Escobar (Universitat Politècnica de València)<br>Xiaowei Huang (University of Liverpool)<br>Yuan Feng (University of Technology Sydney)<br><br>Paper submission<br>----------------<br><br>Submission should be done through the ICFEM 2022 submission page, handled by the EasyChair conference system:<br><br>  <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=icfem2022__;!!IBzWLUs!Cy-h7jAKIdNrA64iSrEz1GfgleVA5z-4FKTqT4rrQ9o7Jnanrh-d-EiGlfFWaZ_xfA60JpSMtd2odg$">https://easychair.org/conferences/?conf=icfem2022</a>.<br><br>As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.<br><br>Papers should be written in English and should not exceed 16 pages (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website (more details at <a href="https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!Cy-h7jAKIdNrA64iSrEz1GfgleVA5z-4FKTqT4rrQ9o7Jnanrh-d-EiGlfFWaZ_xfA60JpQ3qL7kfw$">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a>).<br></div>