Venue and Accomodation
The 25th International Conference on Formal Engineering Methods (ICFEM 2025) will be held at Yuquan Campus, Zhejiang University.
Yuquan Campus, one of the most iconic and historic campuses of Zhejiang University, is located in the picturesque Xihu District of Hangzhou, China. Nestled at the foot of Lingfeng and Laohe Hills and bordering the renowned West Lake and Hangzhou Botanical Garden, the campus offers a unique blend of natural beauty and academic vitality. Its serene environment and rich cultural heritage make it an inspiring setting for learning, research, and innovation.
Booking & discount message: TBD
Keynote Speakers
Jifeng He is an Academician of the Chinese Academy of Sciences. His research focuses on formal methods, concurrent programming theory, embedded system design, and the co-design of software and hardware. He has led major national projects, including serving as Chief Scientist for the National Basic Research Program on Trustworthy Software and the 973 Program on theories and practices for massive information coordination and survivability. His work has contributed significantly to real-time embedded systems, cyber-physical systems, and the Internet of Things.
Title: TBD
Abstract:
TBD
Jim Woodcock is a Professor of Software Engineering at the University of York and a Fellow of the Royal Academy of Engineering. His research focuses on formal methods, software engineering, and system verification, with contributions to Z notation, CSP, and unifying theories of programming. He played a key role in the formalization of IBM's CICS transaction processing system, which won the Queen's Award for Technological Achievement, and the Mondex electronic payment system, achieving the highest ITSEC classification. He has held academic positions at Oxford, Kent, and York and is the Editor-in-Chief of Formal Aspects of Computing.
Title: TBD
Abstract:
TBD
Mariëlle Stoelinga is a Professor of Risk Management for High-tech Systems at the University of Twente, Enschede, and holds a partial appointment in the Software Science department at Radboud University, Nijmegen. Her research focuses on developing techniques for analyzing and improving the reliability of complex systems using model-checking and fault trees. Her work emphasizes compositionality, deriving system risk profiles from component-level assessments, with applications in predictive maintenance and cybersecurity. She has received multiple awards for her contributions, including the ICALP 2003 Best Paper Award, EASST 2016 Best Paper Award, and AAAI 2022 Distinguished Paper Award. Her projects, such as PrimaVera, CAESAR, and ZORRO, highlight her leadership in integrating safety and cybersecurity through innovative methodologies.
Title: TBD
Abstract:
TBD
Yongwang Zhao is a Professor at Zhejiang University and a Ph.D. supervisor. He serves as a member of the ARINC653 International Operating System Standards Committee and the Common Criteria Operating System Kernel Technology Committee. His research focuses on operating system security, formal verification, and programming language principles. He has contributed to several international and national standards and has led major projects, including those for China's manned space program. His work has been recognized by Boeing, Airbus, and leading real-time operating system communities, influencing both standards and open-source projects.
Title: TBD
Abstract:
TBD
Attractions
Welcome to Hangzhou, a charming city in China. It combines natural allure with rich history and modern charm. Verdant mountains and serene waters offer tranquility, while ancient heritages tell tales of the past. Hi-tech zones and trendy malls reveal its dynamic present, captivating all who visit.
Important Dates(AoE)
Abstract Submission: May 25, 2025
Full Paper Submission: June 1, 2025
Acceptance Notification: August 1, 2025
Camera-ready versions: August 20, 2025
Conference dates: November 10-13,2025
Conference Paper Submission and Publication
Submission should be done through the ICFEM 2025 submission page. As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English in the Springer's LNCS format. Formatting style files and further guidelines for formatting can be found at the Springer website (more details here). We encourage authors to add line numbers to their submissions. This can be done, for example, using the lineno LaTeX package.
Main Conference Paper Submissions should not exceed 16 pages (excluding references and appendix) in Springer's LNCS format. Each submission will undergo a rigorous single-blind peer-review process by at least three experts.
Invited extended versions of selected papers will be recommended to a special issue of Formal Aspects of Computing after the conference proceedings.
Doctoral Symposium seeks students' submissions in two categories:
- 2-page extended abstracts which will not be included in the proceedings
- 6-page papers which will be included in the proceedings
The authors with accepted submissions are expected to present their work at the symposium.
Journal-first Presentations invite interested researchers to submit a short proposal for their recently published journal articles, providing the authors an opportunity to speak directly to the community.
Even though there will be no artifact evaluation at ICFEM this year, we encourage authors to upload their artifacts to an archive such as Zenodo or GitHub to ensure reproducibility and availability.
Journal-First Presentations
ICFEM 2025 is inviting journal-first presentations of papers published recently in the following journals:
- ACM Transactions on Programming Languages and Systems
- ACM Transactions on Software Engineering and Methodology
- Formal Aspects of Computing
- Formal Methods in System Design
- IEEE Transactions on Software Engineering
- Theoretical Computer Science
The presentations will offer the authors an opportunity to speak directly to their peers in the community, and also enrich the ICFEM program. The journal-first presentation will be listed in the conference program, yet the corresponding papers will not be part of the ICFEM proceedings as they have been published through the journals. At least one author of each accepted journal-first presentation must register for and attend the ICFEM conference to present the paper.
Evaluation and Selection
Detailed criteria on journal-first presentation submitted to ICFEM is TBD.
How to Submit
Interested authors should submit a short presentation proposal consisting of the paper title, abstract, a short statement on how the work satisfies the above criteria, and the PDF of the original journal paper. Please submit a single PDF file and list all authors of the original journal paper as authors in EasyChair. No special formatting is required.
Doctoral Symposium Paper Submission
The ICFEM Doctoral Symposium is an international forum for PhD students studying all areas related to formal methods for software, hardware and system development. This forum is an excellent opportunity bringing together PhD students and well-known established researchers from the formal methods community. It will also provide PhD students with fruitful feedback and advice on their research approach and enable them to interact with other PhD students in order to stimulate the exchange of ideas and the sharing of experiences among participants. In summary, the PhD forum will provide PhD students with an ideal opportunity to present, share and discuss their research in a constructive and critical scientific atmosphere.
We seek submissions from PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete; or PhD student participants who are in the early stages of their dissertations. It is not required to have a paper accepted at the main conference in order to participate in the ICFEM Doctoral Symposium.
Submissions to the Doctoral Symposium should include: Title of the research, the author name (single name) and affiliation; Context and motivation; Problem statement and related work; Proposed solutions and current research efforts, their significance, methodology, results and analysis, and future work. The paper should be prepared using the LNCS format and submitted in PDF format via EasyChair.
We accept two types of submissions: (a) 2-page extended abstracts which will not be included in the ICFEM proceedings; and (b) 6-page papers which will be published in the LNCS volume of Springer as part of the main ICFEM proceedings.
Authors with accepted submissions are expected to attend the Doctoral Symposium in person to present their work. A discounted registration fee for Doctoral Symposium participants will be announced later.
Official Sponsors
TBD
ICFEM'25 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 Organizing Committee
Steering Committee
David Basin, ETH Zurich, Switzerland
Michael Butler, University of Southampton, UK
Jin Song Dong, National University of Singapore, Singapore
Jifeng He, Shanghai Academy of AI Industrial Technology, China
Mike Hinchey, University of Limerick, Ireland
Shaoying Liu, Hiroshima University, Japan (Chair)
Kazuhiro Ogata, JAIST, Japan
Shengchao Qin, Teesside University, UK
Conference Co-Chairs
Xinyu Wang, Zhejiang University, China
Wenhai Wang, Zhejiang University, China
Program Co-Chairs
Étienne André, Université Sorbonne Paris Nord,France
Jingyi Wang, Zhejiang University, China
Naijun Zhan, Peking University, China
Honorable Chairs
Jin Song Dong, National University of Singapore, Singapore
Jifeng He, Tongji University, China
Huimin Lin, Chinese Academy of Sciences, China
Tutorial Chair
Dongxia Wang, Zhejiang University, China
Finance Chair
Ling Shi, Nanyang Technological University, Singapore
Publicity Chair
Yamine Aït-Ameur, University of Toulouse, France
Jie An, Chinese Academy of Sciences, China
Workshop Chair
Mingshuai Chen, Zhejiang University, China
Program Committee
Jingyi Wang, Zhejiang University, China Julie Parreaux, Université de Rennes, France Min Zhang, East China Normal University, China Étienne André, Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France, France Munyque Mittelmann, University of Naples Federico II, Italy Masaki Waga, Kyoto University, Japan Alexandre Duret-Lutz, EPITA's Research Lab (LRE), France Regine Laleau, Paris Est Créteil University, France Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar, India Zhiwu Xu, Shenzhen University, China B Srivathsan, Chennai Mathematical Institute, India Yufan Cai, National University of Singapore, Singapore Peixin Zhang, Singapore Management University, Singapore Jie An, Institute of Software, Chinese Academy of Sciences, China Chris Poskitt, Singapore Management University, Singapore Naijun Zhan, Peking University, China Jialun Cao, Hong Kong University of Science and Technology, Hong Kong Meng Sun, Peking University, China Xiyue Zhang, University of Oxford, UK Jing Sun, The University of Auckland, New Zealand Zhe Hou, Griffith University, Australia Jeremy Sproston, University of Turin, Italy Didier Lime, Ecole Centrale de Nantes, France Jun Pang, University of Luxembourg, Luxembourg Osman Hasan, National University of Sciences and Technology (NUST), Pakistan Peter Ölveczky, University of Oslo, Norway Jun Sun, Singapore Management University, Singapore Fu Song, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China Mingshuai Chen, Zhejiang University, China Fuyuki Ishikawa, National Institute of Informatics, Japan Jean-Pierre Talpin, INRIA, France Cong Tian, Xidian University, China Sofiène Tahar, Concordia University, Canada Elena Troubitsyna, KTH, Sweden Lei Bu, Nanjing University, China Dominique Mery, Université de Lorraine, LORIA, France Kristin Yvonne Rozier, Iowa State University, USA Niu Jun, Faculty of Information Science and Engineering, Ningbo University, China Dogan Ulus, Bogazici University, Turkey Zhenya Zhang, Kyushu University, Japan Jakob Piribauer, TU Dresden, Germany Pengfei Yang, Southwest University, China Rosemary Monahan, Maynooth University, Ireland Bow-Yaw Wang, Academia Sinica, Taiwan Thao Dang, CNRS/VERIMAG, France Naipeng Dong, National University of Singapore, Singapore Adenilso Simao, ICMC/USP, Brazil Partha Roop, The University of Auckland, New Zealand