|
|
| CARVIEW |
Evaluation and Selection
Authors will be invited to present their paper at ICFEM 2025 after a check that the paper satisfies the above-listed criteria. As the papers have already been reviewed and accepted by the journals, they will not be reviewed again for technical content. In the case that an exceptionally high number of submissions is received, not all papers will be selected. Priority will be given to the papers that:
- Increase opportunities for authors to attend ICFEM, who might not otherwise attend.
- Best fit the technical program, offering a balance across the conference topics: preference will be given to topics that are under-represented in the other tracks.
Conference Attendance Expectation
If a submission is accepted for the journal-first program, at least one author must register for and attend the full technical conference and present the paper. The presentation is expected to be delivered in person, unless this is impossible due to travel limitations (related to, e.g., health, visa, etc). Each journal-first presentation will be scheduled in a session with topically related main track papers. The journal-first papers will be listed in the conference program but will not be part of the ICFEM proceedings.
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.
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, Chinese Academy of Sciences, China
Mike Hinchey, University of Limerick, Ireland
Shaoying Liu, East China Normal University, China (Chair)
Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan
Shengchao Qin, Teesside University, UK
Conference Co-Chairs
Xinyu Wang, Zhejiang University, China
Wenhai Wang, Zhejiang University, China
Program Co-Chairs
Étienne André, Nantes Université, France
Jingyi Wang, Zhejiang University, China
Naijun Zhan, Peking University, China
Honorable Chairs
Jin Song Dong, National University of Singapore, Singapore
Jifeng He, Chinese Academy of Sciences, 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
Local Organization Chairs
Dongxia Wang, Zhejiang University, China
Peixin Zhang, Singapore Management University, Singapore
Xiaofen Zheng, Zhejiang University, China
Web Chairs
Zihan Liu, Zhejiang University, China
Xiaolin Ma, 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é, Nantes Université, France Yamine Aït-Ameur, University of Toulouse, France Munyque Mittelmann, Université Sorbonne Paris Nord, 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 Bristol, 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, Chinese Academy of Sciences, China Mingshuai Chen, Zhejiang University, China Fuyuki Ishikawa, National Institute of Informatics, Japan Jean-Pierre Talpin, National Institute for Research in Digital Science and Technology, 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, France Kristin Yvonne Rozier, Iowa State University, USA Niu Jun, Ningbo University, China Dogan Ulus, Bogazici University, Turkey Zhenya Zhang, Kyushu University, Japan Jakob Piribauer, Technical University Dresden, Germany Pengfei Yang, Southwest University, China Rosemary Monahan, Maynooth University, Ireland Bow-Yaw Wang, Academia Sinica, Taiwan, China Thao Dang, French National Center for Scientific Research, France Naipeng Dong, University of Queensland, Australia Adenilso Simao, Universidade de São Paulo, Brazil Partha Roop, University of Auckland, New Zealand