23th International Conference on Formal Engineering Methods

ICFEM 2022


Theoretical Computer Science



The International Conference on Formal Engineering Methods (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.
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.
Topics of Interest
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:
Abstraction, refinement and evolution
Formal specification and modelling
Formal verification and analysis
Model checking
Formal approaches to software testing and inspection
Formal methods for self-adaptive systems
Formal methods for object-oriented systems
Formal methods for component-based systems
Formal methods for concurrent and real-time systems
Formal methods for cloud computing
Formal methods for cyber-physical systems
Formal methods for software safety and security
Formal methods for software reliability and dependability
Development, integration and experiments involving verified systems
Formal certification of products under international standards
Formal model-based development and code generation
ICFEM 2022 Paper Submission
Submission should be done through the ICFEM 2022 submission page, handled by the EasyChair conference system:
https://easychair.org/conferences/?conf=icfem2022.
As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.
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.
Important Dates:
Workshop/Tutorial Proposals: March 13, 2022 (send your proposals to ariesco@ucm.es)
Abstract Submission: April 10, 2022 (AOE)
Paper Submission: April 17, 2022 (AOE)
Author Notification: June 26, 2022
Camera-ready versions: July 10, 2022
Conference: October 24-27, 2022
General Chairs:
Narciso Martí-Oliet (Universidad Complutense de Madrid, SP)
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, JP)
Program Co-Chairs:
Adrián Riesco (Universidad Complutense de Madrid, SP)
Min Zhang (East China Normal University, CN)
Program Committee:
Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France)
Étienne André (Université de Lorraine, CNRS, Inria, LORIA, Nancy, France)
Cyrille Valentin Artho (KTH Royal Institute of Technology, Sweden)
Christian Attiogbe (University of Nantes, France)
Guangdong Bai (The University of Queensland, Australia)
Christel Baier (TU Dresden, Germany)
Richard Banach (University of Manchester, United Kingdom)
Luís Soares Barbosa (University of Minho, Portugal)
Christiano Braga (Universidade Federal Fluminense, Brazil)
Hadrien Bride (Griffith University, Australia)
Ana Cavalcanti (University of York, United Kingdom)
Yuting Chen (Shanghai Jiao Tong University, China)
Yu-Fang Chen (Academia Sinica, China)
Yean-Ru Chen (National Cheng Kung University, Taiwan)
Yunja Choi (Kyungpook National University, South Korea)
Ranald Clouston (Aarhus University, Denmark)
Sylvain Conchon (Universite Paris-Sud, France)
Florin Craciun (Babes-Bolyai University, Romania)
Frank De Boer (Centrum Wiskunde & Informatica, The Netherlands)
Yuxin Deng (East China Normal University, China)
Thi Thu Ha Doan (Freiburg University, Germany)
Naipeng Dong (National University of Singapore, Singapore)
Flavio Ferrarotti (Software Competence Centre Hagenberg, Austria)
Marc Frappier (Université de Sherbrooke, Canada)
Lindsay Groves (Victoria University of Wellington, New Zeland)
Xudong He (Florida International University, United States)
Zhe Hou (Griffith University, Australia)
Pao-Ann Hsiung (National Chung Cheng University, Taiwan)
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Eun-Young Kang (University of Southern Denmark, Denmark)
Tsutomu Kobayashi (National Institute of Informatics, Japan)
Yi Li (Nanyang Technological University, Singapur)
Xuandong Li (Nanjing University, China)
Shang-Wei Lin (Nanyang Technological University, Singapur)
Si Liu (ETH Zurich, Switzerland)
Yang Liu (Nanyang Technological University, Singapur)
Zhiming Liu (Southwest University, China)
Brendan Mahony (DSTO, Australia)
Frederic Mallet (Université Nice Sophia-Antipolis, France)
Dominique Mery (Université de Lorraine, LORIA, France)
Stephan Merz (Inria Nancy, France)
Shin Nakajima (National Institute of Informatics, Japan)
Masaki Nakamura (Toyama Prefectural University, Japan)
Peter Ölveczky (University of Oslo, Norway)
Jun Pang (University of Luxembourg, Luxembourg)
Yu Pei (The Hong Kong Polytechnic University, China)
Shengchao Qin (Teesside University, United Kingdom)
Silvio Ranise (University of Trento and Fondazione Bruno Kessler, Italy)
Elvinia Riccobene (University of Milan, Italy)
Rubén Rubio (Universidad Complutense de Madrid, Spain)
David Sanan (Nanyang Technological University, Singapur)
Jing Sun (The University of Auckland, Australia)
Meng Sun (Peking University, China)
Alwen Tiu (The Australian National University, Australia)
Elena Troubitsyna (KTH Royal Institute of Technology, Sweden)
Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania)
Ji Wang (National University of Defense Technology, China)
Hai H. Wang (University of Aston, United Kingdom)
Bow-Yaw Wang (Academia Sinica, China)
Virginie Wiels (ONERA / DTIM, France)
Naijun Zhan (Chinese Academy of Sciences, China)