Formal Methods and Software Engineering

Abstract

Listen

Translate article

The International Conference on Formal Engineering Methods (ICFEM) gathers researchers and practitioners interested in the recent development in the use and development of formal engineering methods for software and system development. It records the latest development in formal engineering methods. ICFEM 2020 – the 22nd edition of ICFEM – was planned for late October 2020, but due to the COVID-19 pandemic, the conference was delayed and postponed to Singapore during March 1–3, 2021. ICFEM 2020 received 41 submissions covering theory and applications in formal engineering methods together with case studies. Each paper was reviewed by at least three reviewers, and the Program Committee accepted 16 regular papers and 4 short papers, leading to an attractive scientific program. After the success of the doctoral symposium of the previous edition, we decided to host a doctoral symposium again at ICFEM 2020. The doctoral symposium Program Committee (chaired by Lei Ma from Kyushu University, Japan; Weiyi Shang from Concordia University, Canada; and Xiaoning Du from Monash University, Australia) accepted one doctoral symposium paper, included in the back matter of ICFEM 2020 proceedings. ICFEM 2020 would not have been successful without the contribution and involvement of the Program Committee members and the external reviewers who contributed to the review process (with more than 120 reviews) and the selection of the best contributions. This event would not exist if authors and contributors did not submit their proposals. We address our thanks to every person, reviewer, author, Programme Committee member and Organizing Committee member involved in the success of ICFEM 2020. The EasyChair system was set up for the management of ICFEM 2020 supporting submission, review, and volume preparation processes. It proved to be a powerful framework. ICFEM 2020 had one affiliated workshop: the 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2020), which brought in additional participants to the ICFEM week and helped make it an interesting and successful event. We thank all the workshop organizers for their hard work. ICFEM 2020 was hosted and sponsored by the National University of Singapore. The Local Organizing Committee offered all the facilities to run the conference in a lovely and friendly atmosphere. Many thanks to all the local organizers. We wish to express our special thanks to the general co-chairs, the Steering Committee members and in particular Shaoying Liu and Jin Song Dong for their valuable support.