机构名称：
¥ 1.0
本卷包含CSL 2025上发表的论文，这是会议系列计算机科学逻辑（CSL）的第33次会议，欧洲计算机科学逻辑协会（EACSL）年度会议。CSL 2025于2025年2月10日至14日在荷兰阿姆斯特丹举行。CSL最初是一系列国际研讨会，并于1992年成为国际会议。先前的CSL分期付款在华沙（2023）（2023），哥廷根（2022，2022年，在线）中举行Fontainebleau（2012），Bergen（2011），Brno（2010），Coimbra（2009），Boologna（2008），Lausanne（2007），Szeged（2006），牛津（2005），Karpacz，Karpacz（2004）（2004），Vienna（2003），Vienna（2003），Edinburgh（2002），Bris（2001），MADIN，MADID（2000），（2000年），（2000年），（2000年），（2000年），（2000年），（2000年），，（2000年），（2000年，，，，，，，，，地） （1998），Aarhus（1997），Utrecht（1996），Paderborn（1995），Kazimierz（1994），Swansea（1993）和San Miniato（1992）。CSL是一次跨学科会议，涵盖了数学逻辑和计算机科学领域的基本和面向应用程序的研究。会议收到了130次摘要，其中113个随后是全纸盲提交的提交，其中之一后来被撤回。计划委员会在会议上选择了44篇论文进行演讲。在计划委员会的至少三名成员中监督了每篇论文，在161位外部审核者的关键帮助下，总共贡献了总计350个评论中的178个。提交和审查过程，计划委员会的讨论以及作者通知均通过EasyChair会议管理系统来处理。It is a forum for the presentation of research on all aspects of logic and its applications, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and组合逻辑，领域理论，分类逻辑和拓扑语义，数据库理论，程序的规范，提取和转换，量子计算的逻辑方面，编程范式的逻辑基础，验证和程序分析，线性逻辑，高阶逻辑，高级逻辑和非单调性推理。
第33届EACSL计算机科学逻辑年度会议
主要关键词
相关文件推荐
