第 33 届 EACSL年会计算机科学逻辑（CSL 2025）

CSL是欧洲计算机科学逻辑协会（EACSL）的年度会议。它是一个跨学科的会议，涵盖数理逻辑和计算机科学的基础研究和应用研究。CSL 2025 将于 2025 年 2 月 10 日至 14 日举行，由阿姆斯特丹自由大学的理论计算机科学小组和阿姆斯特丹大学的ILLC联合组织。

1、委员会

主席：

• Jörg Endrullis（阿姆斯特丹自由大学，荷兰）
• Sylvain Schmitz（法国巴黎西岱大学）

程序委员会：

• Bahareh Afshari（瑞典哥德堡大学）
• Sandra Alves（葡萄牙波尔图大学）
• 卡米尔·布尔高 (Camille Bourgaux)（法国国家科学研究中心 (CNRS)、巴黎高等师范学院 (ENS)）

组织委员会：

• Wan Fokkink（荷兰阿姆斯特丹自由大学）
• 艾玛·特里斯曼（Emma Triesman）（荷兰阿姆斯特丹自由大学）

• 自动推理和交互式定理证明
• 并发和分布式计算
• 构造数学和类型理论
• 等式逻辑和术语重写
• 自动机和游戏、游戏语义
• 形式化方法
• 模型检查
• 决策程序
• 模态逻辑和时间逻辑
• 描述逻辑
• 计算复杂性的逻辑方面
• 人工智能的逻辑方面
• 有限模型理论
• 可计算性
• 计算证明理论
• 逻辑编程和约束
• λ演算和组合逻辑
• 领域理论
• 范畴逻辑和拓扑语义
• 数据库理论
• 程序的规范、提取和转换
• 量子计算的逻辑方面
• 编程范式的逻辑基础
• 验证与程序分析
• 线性逻辑
• 高阶逻辑
• 知识表示和推理
• 非单调推理

1、重要日期

摘要提交：    2024年7月18日
论文提交：    2024年7月23日
通知：    2024 年 10 月 27 日（已接受论文）
最终版本到期：    2024年11月24日
会议：    2025年2月10日至14日

2、投稿指南

提交的论文必须使用英文，并提供足够的细节，以便程序委员会评估论文的优劣。作者必须通过 CSL 2025 Easychair 提交网站（Easychair ）以单个 PDF 文件的形式提交论文。完整的校样可能会出现在清晰标记的技术附录中，审稿人将自行决定是否阅读。

[email protected]