第19届软件工程理论国际研讨会（TASE 2025）将于2025年7月14日至16日在塞浦路斯利马索尔举行。TASE 2025旨在为学术界和工业界人士提供一个交流软件工程创新进展最新成果的平台。现代社会越来越依赖于日益庞大和复杂的软件系统。这给软件工程的各个方面带来了新的挑战，例如可信计算中的软件可靠性、信息物理系统中与物理组件的交互、人工智能嵌入式系统中的质量保证、云计算应用中的分布式以及总体安全和隐私。因此，需要新的概念和方法来从理论层面促进软件工程的发展。

1、委员会

总主席
George A. Papadopoulos，塞浦路斯大学，塞浦路斯

项目主席 
Philipp Rümmer，德国雷根斯堡大学
Zhilin Wu，中国科学院软件研究所

地方组织主席：

Zhenyong Zhang，中国贵州大学
Li Xu，中国贵州大学

研讨会主席

Li Qin，华东师范大学，中国

■ 软件流程和工作流程

■ 软件架构和设计

■ 软件产品线

■ 需求工程

■ 模型驱动的软件工程

■ 软件测试和质量保证

■ 软件安全性、保密性和可靠性

■ 逆向工程和软件维护

■ 基于组件的软件工程

■ 面向特征的编程

■ 程序合成

■ 人工智能和大型语言模型在软件工程中的应用

形式化方法和理论计算机科学，包括：

■ 演绎验证

■ 模型检验

■ 定理证明、决策程序、SAT 和 SMT

■ 规范语言

■ 程序逻辑和演算

■ 形式语言和自动机理论

■ 运行时验证和监控

■ 形式化方法的集成

■ 人工智能系统的形式化方法，反之亦然

编程语言设计和技术，包括：

■ 形式语义

■ 摘要解读与程序分析

■ 语言范式，包括面向对象、函数式、声明式等。

■ 类型系统和行为类型

■ 编译器设计

■ 领域特定语言

工具和应用领域，包括：

■ 将理论付诸实践的软件工具

■ 信息物理、嵌入式和实时系统

■ 分布式和并发系统

■ 语义网和网络服务

■ 面向服务编程和云计算

■ 量子电路和程序

■ 加密算法

1、 重要日期
摘要提交：2025 年 2 月 15 日至 2025 年 3 月 1 日（AoE）
论文提交日期：2025年2月21日至2025年3月8日（AoE）
作者通知：2025 年 4 月 1 日2025 年 4 月 5 日（AoE）
照相排版版本及作者注册：2025 年 5 月 1 日（AoE）
提前注册（非作者）截止日期：2025 年 6 月 1 日
延迟注册：2025 年 6 月 2 日
会议：2025年7月14日至16日

2、提交

提交至会议的论文不得已在其他地方发表或同时考虑发表。所有投稿将根据原创性、对领域的贡献、技术和演示质量以及与会议的相关性进行评审。会议论文集将出版于 Springer Lecture Notes in Computer Science 系列。论文应以英文撰写，长篇论文不超过 16 页（不包括参考文献），短篇论文不超过 6 页（不包括参考文献），采用 LNCS 格式。投稿请通过 TASE 2025 投稿页面进行，该页面由 EasyChair 会议管理系统处理。

投稿链接：   https://easychair.org/conferences/?conf= tase2025 。 

被接受的论文的选定子集的作者将被邀请将其论文的扩展版本提交到《计算机编程科学》杂志的特刊（https://www.sciencedirect.com/journal/science-of-computer-programming）。

george@ucy.ac.cy