ICTAC 系列会议旨在汇聚来自学术界、产业界和政府部门的研究人员和从业人员，通过系统开发方法和工具，展示计算理论领域的研究成果，并交流相关思想和经验。ICTAC 也致力于促进发展中国家和工业化国家之间的研究合作。

1、出版信息

所有被录用的论文将收录于会议论文集，并由 Springer 的《计算机科学讲义》（LNCS）系列丛书出版。所有被录用的论文必须在会议上进行展示。论文作者必须签署版权转让声明。每篇被录用的论文至少有一位作者必须在提前注册截止日期前注册并展示论文。  

2、组委会

Abderrahim Ait Wakrime    UM5R，摩洛哥
Sadek Belamfedel Alaoui    UM6P，摩洛哥
Khaoula Boukir    摩洛哥伊本托法伊尔大学
Karam Kharraz    德国吕贝克大学
Adnane Saoud    UM6P，摩洛哥
总联合主席：
Ahmed Bouajjani    法国巴黎大学
Mohammed Erradi    ENSIAS，UM5R，摩洛哥
项目联合主席：
Zhiming Liu    中国西南大学
Adnane Saoud    UM6P，摩洛哥
Heike Wehrheim    德国奥尔登堡大学

• 形式语言和自动机
• 编程语言的语义
• 计算机科学中的逻辑
• Lambda 演算、类型论和范畴论
• 领域特定语言
• 并发性和移动性理论
• 分布式计算理论
• 物体和组件的模型
• 协调模型
• 安全和隐私
• 静态分析
• 软件验证
• 定时、混合和信息物理系统
• 验证、分析和控制综合
• 软件测试
• 程序生成和转换
• 模型检验和定理证明
• 量子计算
• 值得信赖的人工智能
• 机器学习算法
• 应用和经验

1、重要时间

2025年7月3日 (AOE)  摘要提交截止日期

2025年7月9日 (AOE)  论文提交截止日期

2025年8月30日  接受/拒绝通知

2025年9月15日（AOE）终稿提交

2025年11月24日至28日  会议日期

2、投稿信息

投稿内容不得超过16页（不包括最多2页的参考文献）。短篇论文和工具论文不得超过8页。

adnane.saoud@um6p.ma