THE PEOPLE BEHIND THE CONFERENCE
ICFEM 2025
International Conference on Formal Engineering Methods
Source-attributed rosters checked 2026-09-13. 53 collected records; 51 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
ICFEM 2025 Program Co-Chairs
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Étienne AndréIdentity not yet linked | Program Co-Chairs | Nantes Université, France | Conference website ↗Checked 2026-09-13 |
| Jingyi WangIdentity not yet linked | Program Co-Chairs | Zhejiang University, China | Conference website ↗Checked 2026-09-13 |
| Naijun ZhanIdentity not yet linked | Program Co-Chairs | Peking University, China | Conference website ↗Checked 2026-09-13 |
ICFEM 2025 Program Committee
49 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jingyi WangIdentity not yet linked | Program Committee | Zhejiang University, China | Conference website ↗Checked 2026-09-13 |
| Julie ParreauxIdentity not yet linked | Program Committee | Université de Rennes, France | Conference website ↗Checked 2026-09-13 |
| Min ZhangIdentity not yet linked | Program Committee | East China Normal University, China | Conference website ↗Checked 2026-09-13 |
| Étienne AndréIdentity not yet linked | Program Committee | Nantes Université, France | Conference website ↗Checked 2026-09-13 |
| Yamine Aït-AmeurIdentity not yet linked | Program Committee | University of Toulouse, France | Conference website ↗Checked 2026-09-13 |
| Munyque MittelmannIdentity not yet linked | Program Committee | Université Sorbonne Paris Nord, Italy | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | Program Committee | Kyoto University, Japan | Conference website ↗Checked 2026-09-13 |
| Alexandre Duret-LutzIdentity not yet linked | Program Committee | EPITA's Research Lab (LRE), France | Conference website ↗Checked 2026-09-13 |
| Regine LaleauIdentity not yet linked | Program Committee | Paris Est Créteil University, France | Conference website ↗Checked 2026-09-13 |
| Srinivas PinisettyIdentity not yet linked | Program Committee | Indian Institute of Technology Bhubaneswar, India | Conference website ↗Checked 2026-09-13 |
| Zhiwu XuIdentity not yet linked | Program Committee | Shenzhen University, China | Conference website ↗Checked 2026-09-13 |
| B SrivathsanIdentity not yet linked | Program Committee | Chennai Mathematical Institute, India | Conference website ↗Checked 2026-09-13 |
| Yufan CaiIdentity not yet linked | Program Committee | National University of Singapore, Singapore | Conference website ↗Checked 2026-09-13 |
| Peixin ZhangIdentity not yet linked | Program Committee | Singapore Management University, Singapore | Conference website ↗Checked 2026-09-13 |
| Jie AnIdentity not yet linked | Program Committee | Institute of Software, Chinese Academy of Sciences, China Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Chris PoskittIdentity not yet linked | Program Committee | Singapore Management University, Singapore | Conference website ↗Checked 2026-09-13 |
| Naijun ZhanIdentity not yet linked | Program Committee | Peking University, China | Conference website ↗Checked 2026-09-13 |
| Jialun CaoIdentity not yet linked | Program Committee | Hong Kong University of Science and Technology, Hong Kong | Conference website ↗Checked 2026-09-13 |
| Meng SunIdentity not yet linked | Program Committee | Peking University, China | Conference website ↗Checked 2026-09-13 |
| Xiyue Zhang | Program Committee | University of Bristol, UK | Conference website ↗Checked 2026-09-13 |
| Jing SunIdentity not yet linked | Program Committee | The University of Auckland, New Zealand | Conference website ↗Checked 2026-09-13 |
| Zhe HouIdentity not yet linked | Program Committee | Griffith University, Australia | Conference website ↗Checked 2026-09-13 |
| Jeremy SprostonIdentity not yet linked | Program Committee | University of Turin, Italy | Conference website ↗Checked 2026-09-13 |
| Didier LimeIdentity not yet linked | Program Committee | Ecole Centrale de Nantes, France | Conference website ↗Checked 2026-09-13 |
| Jun PangIdentity not yet linked | Program Committee | University of Luxembourg, Luxembourg | Conference website ↗Checked 2026-09-13 |
| Osman HasanIdentity not yet linked | Program Committee | National University of Sciences and Technology (NUST), Pakistan | Conference website ↗Checked 2026-09-13 |
| Peter ÖlveczkyIdentity not yet linked | Program Committee | University of Oslo, Norway | Conference website ↗Checked 2026-09-13 |
| Jun SunIdentity not yet linked | Program Committee | Singapore Management University, Singapore | Conference website ↗Checked 2026-09-13 |
| Fu SongIdentity not yet linked | Program Committee | Chinese Academy of Sciences, China | Conference website ↗Checked 2026-09-13 |
| Mingshuai ChenIdentity not yet linked | Program Committee | Zhejiang University, China | Conference website ↗Checked 2026-09-13 |
| Fuyuki IshikawaIdentity not yet linked | Program Committee | National Institute of Informatics, Japan | Conference website ↗Checked 2026-09-13 |
| Jean-Pierre TalpinIdentity not yet linked | Program Committee | National Institute for Research in Digital Science and Technology, France | Conference website ↗Checked 2026-09-13 |
| Cong Tian | Program Committee | Xidian University, China | Conference website ↗Checked 2026-09-13 |
| Sofiène TaharIdentity not yet linked | Program Committee | Concordia University, Canada | Conference website ↗Checked 2026-09-13 |
| Elena TroubitsynaIdentity not yet linked | Program Committee | KTH, Sweden | Conference website ↗Checked 2026-09-13 |
| Lei BuIdentity not yet linked | Program Committee | Nanjing University, China | Conference website ↗Checked 2026-09-13 |
| Dominique MeryIdentity not yet linked | Program Committee | Université de Lorraine, France | Conference website ↗Checked 2026-09-13 |
| Kristin Yvonne RozierIdentity not yet linked | Program Committee | Iowa State University, USA | Conference website ↗Checked 2026-09-13 |
| Niu JunIdentity not yet linked | Program Committee | Ningbo University, China | Conference website ↗Checked 2026-09-13 |
| Dogan UlusIdentity not yet linked | Program Committee | Bogazici University, Turkey | Conference website ↗Checked 2026-09-13 |
| Zhenya ZhangIdentity not yet linked | Program Committee | Kyushu University, Japan | Conference website ↗Checked 2026-09-13 |
| Jakob PiribauerIdentity not yet linked | Program Committee | Technical University Dresden, Germany | Conference website ↗Checked 2026-09-13 |
| Pengfei YangIdentity not yet linked | Program Committee | Southwest University, China | Conference website ↗Checked 2026-09-13 |
| Rosemary MonahanIdentity not yet linked | Program Committee | Maynooth University, Ireland | Conference website ↗Checked 2026-09-13 |
| Bow-Yaw WangIdentity not yet linked | Program Committee | Academia Sinica, Taiwan, China | Conference website ↗Checked 2026-09-13 |
| Thao DangIdentity not yet linked | Program Committee | French National Center for Scientific Research, France | Conference website ↗Checked 2026-09-13 |
| Naipeng DongIdentity not yet linked | Program Committee | University of Queensland, Australia | Conference website ↗Checked 2026-09-13 |
| Adenilso SimaoIdentity not yet linked | Program Committee | Universidade de São Paulo, Brazil | Conference website ↗Checked 2026-09-13 |
| Partha RoopIdentity not yet linked | Program Committee | University of Auckland, New Zealand | Conference website ↗Checked 2026-09-13 |
ICFEM 2025 Workshop Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Mingshuai ChenIdentity not yet linked | Workshop Chair | Zhejiang University, China | Conference website ↗Checked 2026-09-13 |