国际站 
FSEN 是一个国际性会议，旨在汇聚来自学术界和工业界的科研人员、工程师、开发人员及实践者，展示并讨论他们在软件工程形式化方法领域的研究成果。该会议致力于促进经验交流、方法适应，并在可能的情况下推动不同研究群体之间的合作。会议关注的主题涵盖形式化方法的各个方面，尤其侧重于推动形式化方法在软件产业中的应用进展，以及促进其与实际工程技术的融合。继往届 FSEN 会议取得成功（https://fsen.ir/）之后，下一届 FSEN 会议将于2027年5月24日至25日在荷兰恩斯赫德的特温特大学举行。
截稿倒计时：
33天17时22分09秒
分享页面：
32
BRIEF INTRODUCTION
会议简介
NO.1
HIGHLIGHTS
重要信息
NO.2
会议论文集与特刊：
FSEN’27的会议论文集将由Springer在LNCS系列中出版。秉承FSEN的传统，我们计划在《计算机编程科学》期刊上推出一个专题特刊，专门聚焦于FSEN 2027。会议结束后，将邀请部分论文参与该特刊的收录。受邀论文需进行修改和扩展，并将由国际评审委员会进行新一轮审稿。
主旨报告人：
Jan Friso Groote, Eindhoven University of Technology, Netherlands
Paula Herber, University of Munster, Germany
Laura Kovács, Vienna University of Technology, Austria
Ivo ter Horst, ASML, Netherlands
组委会：
General Chairs
Mieke Massink, CNR-ISTI Pisa, Italy
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen, Netherlands
Program Chairs
Georgiana Caltais, University of Twente, Netherlands
José Proença, CISTER & Faculty of Sciences, University of Porto, Portugal
CALL FOR PAPERS
征稿主题
NO.3
程序与软件系统的模型：
- 软件规格说明
- 验证与确认
- 软件测试
- 软件架构及其描述语言
- 面向对象
- 行为者及多智能体系统
- 协调
- 特性交互与软件产品线
- 形式化方法与非形式化方法的集成
- 不同形式化方法及人工智能方法的融合
- 基于组件与面向服务的软件系统
- 群体式
- 自适应及网络物理软件系统
- 模型检测与定理证明
- 定量形式化方法
- 软硬件验证
- 计算机辅助软件工程工具及工具集成
- 工业应用
KEYNOTE SPEAKERS
主讲嘉宾
NO.4
Jan Friso Groote
Eindhoven University of Technology, Netherlands
Paula Herber
University of Munster, Germany
Laura Kovács
Vienna University of Technology, Austria
Ivo ter Horst
ASML, Netherlands
CONFERENCE HISTORY
会议历史
NO.5
CONFERENCE SUBMISSION
会议投稿
NO.6
作者可提交以下类型稿件：
- 全文论文（不超过16页，不含参考文献），内容涵盖原创研究、应用及工具；
- 短文论文（不超过6页，不含参考文献），描述正在进行的研究或尚未完全验证的新思路；
- 投影海报（不超过4页，不含参考文献），介绍当前的研究进展。
至少有一名作者需在会议期间注册并提交论文进行展示。应作者要求，程序委员会最多可接受五篇论文，且无需现场出席。
FSEN’27将采用单盲评审流程。附录为可选内容，不会被收录于会议论文集。所有类型的论文均须通过EasyChair会议系统在线提交PDF格式文件，具体提交方式请访问以下链接：https://www.easychair.org/conferences/?conf=fsen2027。
投稿必须使用英文撰写，并按照Springer LNCS格式（LaTeX2e会议模板）进行排版，该模板可通过以下链接获取（http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines），且内容不得超过所列类别的页数限制（包括图表和参考文献）。提交的稿件应采用默认字体大小和页边距，使用A4纸张。
每篇投稿将由至少三名审稿人进行全面评审，评审内容包括：学术原创性、研究意义、与FSEN会议的相关性、技术合理性、清晰度、自成一体性以及对相关工作的讨论。
审稿人需对稿件进行评分，并评估其是否可被接受为以下形式：
- LNCS会议完整论文
- LNCS会议简短论文
- 会议海报（不计入会议论文集）
前两类被接受的论文将受邀在会议上进行报告。海报将由作者在独立的海报展示环节中进行说明。
CONTACT US
联系方式
NO.7
相关会议
2026年第十届计算机科学与人工智能国际会议（CSAI 2026）
2026.12.18 - 12.21
中国 北京
截稿时间：2026.10.10
EI COMPENDEXSCOPUS
2027年第六届亚太计算机技术会议（APCT 2027）
2027.01.15 - 01.17
印度尼西亚 雅加达
截稿时间：2026.10.10
EISCOPUS
2027年第11届密码学，安全和隐私国际会议（CSP 2027）
2027.03.27 - 03.30
日本 名古屋
截稿时间：2026.10.05
EISCOPUS
2026年第三届软件系统与信息处理国际会议（ICSSIP 2026）
2026.11.27 - 11.29
中国 兰州
截稿时间：2026.09.25
EI COMPENDEXSCOPUS
2027年第12届多媒体与图像处理国际会议（ICMIP 2027）
2027.03.27 - 03.30
日本 名古屋
截稿时间：2026.10.05
EISCOPUS
2026年第十届软件与电子商务国际会议（ICSeB 2026）
2026.12.18 - 12.20
日本 藤泽
截稿时间：2026.10.15
EI COMPENDEXSCOPUS