ICFEM 2022: 23rd International Conference on Formal Engineering Methods Universidad Complutense de Madrid Madrid, Spain, October 24-27, 2022 |
Conference website | http://maude.ucm.es/ICFEM22/ |
Submission link | https://easychair.org/conferences/?conf=icfem2022 |
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.
IMPORTANT NOTE CONCERNING THE COVID-19 PANDEMIC
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.
Submission Guidelines
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 (more details here).
A subset of the accepted papers will be invited for publication in a special issue of the Journal of Logical and ALgebraic Methods in Programming (https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming). Invited papers must include novel contents and will be revised following the journal guidelines.
Important dates
- Workshop/Tutorial Proposals: March 20, 2022 (send your proposals to ariesco@ucm.es and zhangmin@sei.ecnu.edu.cn)
- Abstract Submission:
April 10, 2022 (AoE) - Paper Submission:
April 17, 2022May 7, 2022 (AoE) - Author Notification: June 26, 2022
- Camera-ready versions: July 10, 2022
- Conference: October 24-27, 2022
List of Topics
- 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.
Committees
General Chairs
- Narciso Martí-Oliet (Universidad Complutense de Madrid, SP)
- Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, JP)
Program Committee
- Adrian 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)
Venue
The conference will be held in Madrid, Spain, in October 24-27, 2022.
Contact
All questions about submissions should be emailed to ariesco@ucm.es