The 24th International Conference on Formal Engineering Methods

21 - 24 November 2023 - Brisbane, Australia (Physical)

Welcome to the website of the 24th International Conference on Formal Engineering Methods (ICFEM 2023)

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.

Scope and Topics

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 and equivalence checking
  • Automated and interactive theorem proving
  • 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 hardware and embedded 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

Important Dates

Abstract Submission: 14 May 2023 (AoE)

Full Paper Submission: 21 May 2023 (AoE)

Author Notification: 30 July 2023

Camera-ready versions: 13 August 2023

Conference Paper Submission and Publication

Submission should be done through the ICFEM 2023 submission page, handled by the EasyChair conference system.

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).

Access submission portal


To be announced.

Venue and Accomodation

Welcome to Brisbane, Australia's thriving subtropical capital city situated in the heart of the Sunshine State, Queensland. As the third-largest city in Australia, Brisbane offers a dynamic fusion of urban sophistication, natural beauty, and a rich cultural scene.

More information on accommodations will be introduced later.

Keynote Speakers

More to be announced.


More information later.

Official Sponsors

ICFEM'23 is an outstanding opportunity for you to reach the "thought leaders" in this industry with your message, and for your Software Engineering team to network and exchange ideas with their peers in this unique and innovative forum.

Sponsors are offered the opportunity to reach over 100 software engineering experts, including researchers and industry practitioners such as developers, QA and engineering managers.

New sponsorship are welcome and any entity wishing to become an official sponsor may contact the sponsorship chair.

Conference Organising Committee

Steering Committee

David Basin, ETH Zurich, Switzerland
Michael Butler, University of Southampton, UK
Jin Song Dong, National University of Singapore, Singapore, and Griffith University, Australia
Jifeng He, Shanghai Academy of AI Industrial Technology, China
Mike Hinchey, University of Limerick, Ireland
Shaoying Liu, Hiroshima University, Japan
Kazuhiro Ogata, JAIST, Japan
Shengchao Qin, Teesside University, UK (Chair)

General Co-Chairs

Jin Song Dong, NUS and Griffith University, Singapore/Australia
Guangdong Bai, The University of Queensland, Australia

Program Co-Chairs

Yi Li, Nanyang Technological University, Singapore
Sofiene Tahar, Concordia University, Canada

Finance Chair

Zhe Hou, Griffith University, Australia

Publicity Chair

Cheng-Hao Cai, Monash University at Suzhou, China
Neeraj Kumar Singh, IRIT-ENSEEIHT, Toulouse, France

Workshop Chair

Xiaofei Xie, Singapore Management University, Singapore

Sponsorship Chair

Kailong Wang, Huazhong University of Science and Technology, China

Local Co-Chairs

Naipeng Dong, The University of Queensland, Australia
Guowei Yang, The University of Queensland, Australia

Web Chair

Hao Guan, The University of Queensland, Australia

Program Committee

Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Behzad Akbarpour, NVIDIA, United States
Étienne André, Université de Lorraine, CNRS, Inria, LORIA, Nancy, France, France
Cyrille Valentin Artho, KTH Royal Institute of Technology, Sweden
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
Hadrien Bride, Institute for Integrated and Intelligent Systems, Griffith University, Australia
Ana Cavalcanti, University of York, United Kingdom
Marsha Chechik, University of Toronto, Canada
Yuting Chen, Shanghai Jiao Tong University, China
Yean-Ru Chen, National Cheng Kung University, Taiwan
Yu-Fang Chen, Academia Sinica, Taiwan
Ranald Clouston, Aarhus University, Denmark
Florin Craciun, Babes-Bolyai University, Cluj, Romania
Ana De Melo, University of São Paulo, Brazil
Thi Thu Ha Doan, Freiburg University, Germany
Naipeng Dong, National University of Singapore, Singapore
Aaron Dutle, NASA Langley Research Center, United States
Yasmeen Elderhalli, Synopsys, Canada
Santiago Escobar, Universidad Politécnica de Valencia, Spain
Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
Marc Frappier, Université de Sherbrooke, Canada
Lindsay Groves, Victoria University of Wellington, New Zealand
Osman Hassan, National University of Sciences & Technology, Pakistan
Xudong He, Florida International University, United States
Zhe Hou, Griffith University, Australia
Fuyuki Ishikawa, National Institute of Informatics, Japan
Eun-Young Kang, University of Southern Denmark, Denmark
Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
Mark Lawford, McMaster University, Canada
Shang-Wei Lin, Nanyang Technological University, Singapore
Zhiming Liu, Southwest University, China
Si Liu, ETH Zurich, Swizerland
Brendan Mahony, DSTO, Australia
Frederic Mallet, Universite Nice Sophia-Antipolis, France
Panagiotis Manolios, Northeastern University, United States
Heiko Mantel, TU Darmstadt, Germany
Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
Dominique Mery, Université de Lorraine, LORIA, France
Stephan Merz, Inria Nancy, France
Stefan Mitsch, Carnegie Mellon University, United States
Magnus Myreen, Chalmers University, Sweden
Shin Nakajima, National Institute of Informatics, Japan
Masaki Nakamura, Toyama Prefectural University, Japan
Michael Norrish, Australian National University, Australia
Jun Pang, University of Luxembourg, Luxembourg
Yu Pei, The Hong Kong Polytechnic University, Hong Kong
Shengchao Qin, Teesside University, United Kingdom
Silvio Ranise, University of Trento and Fondazione Bruno Kessler, Trento, Italy, Italy
Elvinia Riccobene, Computer Science Dept., University of Milan, Italy
Adrian Riesco, Universidad Complutense de Madrid, Spain
Subhajit Roy, Indian Institute of Technology Kanpur, India
Rubén Rubio, Universidad Complutense de Madrid, Spain
David Sanan, Singapore Institute of Technology, Singapore
Valdivino Santiago, Instituto Nacional de Pesquisas Espaciais, Brazil
Meng Sun, Peking University, China
Jing Sun, The University of Auckland, New Zealand
Elena Troubitsyna, KTH, Sweden
Ionut Tutu, Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania
Bow-Yaw Wang, Academia Sinica, Taiwan
Hai H. Wang, University of Aston, United Kingdom
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Min Zhang, East China Normal University, China
Peter Ölveczky, University of Oslo, Norway

Local Support Team

To be announced.