第四十届 ACM/IEEE 计算机科学逻辑研讨会 (LICS 2025)

LICS 研讨会是一个年度国际论坛，探讨与广义逻辑相关的计算机科学理论和实践主题。LICS 2025 将于 2025 年 6 月 23 日至 26 日在新加坡举办。

1、组委会

项目委员会主席：
Lars Birkedal，奥尔胡斯大学
Barbara König， 杜伊斯堡-埃森大学

宣传和会议议程主席：
Sam Staton，牛津大学

自动机理论、自动推理、分类模型和逻辑、并发和分布式计算、约束编程、构造性数学、数据库理论、决策程序、描述逻辑、领域理论、有限模型理论、程序分析的形式化方面、形式化方法、可计算性基础、概率基础、实时和混合系统、游戏和逻辑、高阶逻辑、知识表示和推理、lambda 和组合演算、线性逻辑、逻辑编程、人工智能的逻辑方面、生物信息学的逻辑方面、计算复杂性的逻辑方面、量子计算的逻辑方面、逻辑框架、程序逻辑、模态和时间逻辑、模型检查、过程演算、编程语言语义、证明理论、关于安全和隐私的推理、重写、类型系统、类型理论和验证。

1、重要时间

提交标题和简短摘要    2025年1月16日
全文提交    2025年1月23日
作者回复期    2025年3月17日至20日
作者通知    2025年4月8日
会议    2025年6月23日至26日

2、格式指南

格式说明： 所有全文论文必须采用 IEEE 论文集格式，两栏 10pt，页数最多为 12 页（不含参考文献）。论文必须以英文撰写，并提供足够的细节，以便程序委员会评估其价值。论文应以简洁的问题陈述、主要结果的概述以及对其对会议和计算机科学的意义和相关性的简要说明开头，所有措辞均应以非专业人士能够理解的方式表达。

lics25‑[email protected]