Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
本卷包含第六届国际游戏、自动机、逻辑和形式化验证研讨会（GandALF 2015）的会议记录。研讨会于2015年9月21日和22日在意大利热那亚举行。专题讨论会的会议记录载有三次应邀演讲的摘要和13篇论文，这些论文是经过仔细评估后被接受在会议上介绍的。被接受的论文的主题包括算法博弈论，自动机理论，形式化验证，模态和时序逻辑。
2015-09-23 cs.FL cs.LO
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
本卷包含LFMTP 2018上发表的论文选集，LFMTP 2018是第13届逻辑框架和元语言国际研讨会：理论与实践（LFMTP），于2018年7月7日在英国牛津举行。该研讨会隶属于第七届联邦逻辑会议（FLoC）内的第三届计算和演绎形式结构国际会议（FSCD）。
2018-07-03 cs.LO cs.PL
Proceedings of the Sixth Working Formal Methods Symposium
我们很高兴地介绍在“Al. I.”举行的第六届工作形式方法研讨会（从2022年开始）的论文。2022年9月19日至20日，罗马尼亚雅西大学。从旨在汇集研究人员和从业者谁工作的正式方法，通过贡献新的理论成果，方法，技术和框架，和/或使正式方法的工作，通过创建或使用软件工具，应用理论的贡献。该计划委员会选择了五个贡献和四个邀请演讲，其中一个与第28届逻辑，语言，信息和计算研讨会（WoLLIC 2022）共享。两个贡献处理匹配逻辑，一个表达逻辑框架，程序设计语言和其他逻辑的正式定义可以嵌入。其他贡献涉及分布式系统，多代理系统和教学正式的方法。邀请的会谈目前的工作与这些主题大致一致。
2022-09-19 cs.LO cs.PL cs.SE
Proceedings Seventh International Conference on Computability and Complexity in Analysis
本卷《理论计算机科学电子会议录》（EPTCS）包含将于2010年6月21日至25日在中国镇江举行的第七届国际分析中的可计算性和复杂性会议（CCA 2010）上发表的演讲的扩展摘要。这次会议是共同国家评估年度会议系列的第十七次活动。CCA会议旨在促进实值数据可计算性和复杂性理论及其应用的研究和发展。
2010-06-03 cs.CC cs.LO
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
本文介绍第十一届非经典逻辑理论与应用国际会议论文集，涵盖非经典逻辑新成果与综述，并设特别分会讨论ERC项目ExtenDD中复杂词项与构词算子研究。
2024-12-28 cs.LO
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
这是第十七届理性和知识的理论方面会议的会议记录，2019年7月17日至19日，图卢兹信息研究所（IRIT），图卢兹大学图卢兹，法国。TARK会议的使命是汇集来自各个领域的研究人员，包括人工智能，密码学，分布式计算，经济学和博弈论，语言学，哲学和心理学，以进一步我们对涉及理性和知识推理的跨学科问题的理解。
2019-07-19 cs.GT cs.LO
Proceedings Seventh International Conference on Applied Category Theory 2024
本文集收录了2024年在牛津大学举办的第七届应用范畴论国际会议的研究成果，涵盖从纯理论到应用、横跨物理、概率、语言、决策、机器学习、流行病学、热力学、工程与逻辑等多个学科领域。
2025-09-22 cs.LO
Proceedings 19th International Conference on Quantum Physics and Logic
本卷为QPL 2022会议论文集，涵盖量子计算与物理的数学基础，聚焦代数、范畴结构、形式语言及语义方法在物理系统研究中的应用。
2023-11-14 cs.LO
Proceedings Seventh Conference on Systems Software Verification
本卷包含2012年11月28日至30日在悉尼举行的第七届系统软件验证会议（SSV 2012）上接受的论文。SSV研讨会和会议系列的目的是汇集来自学术界和工业界的研究人员和开发人员，他们面临着真正的软件和真正的问题，目标是找到真正的，适用的解决方案。
2012-11-26 cs.LO cs.SE
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
本卷收录了2011年5月29日在塞尔维亚诺维萨德举行的第10届重写和编程中的减少策略国际研讨会（WRS'2011）上提交的论文选集。前几届讲习班分别在乌得勒支（2001年）、哥本哈根（2002年）、巴伦西亚（2003年）、亚琛（2004年）、奈良（2005年）、西雅图（2006年）、巴黎（2007年）、哈根贝格（2008年）、巴西利亚（2009年）和爱丁堡（2010年）举办;最后一届讲习班是与战略讲习班联合举办的。WRS 2011研讨会是重写，演绎和编程联合会议（RDP '1）的一部分，该会议汇集了不同的活动，包括第22届重写技术和应用国际会议（RTA'11）和第10届类型化Lambda演算和应用国际会议（TLCA'11）。
2012-04-24 cs.LO cs.PL
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
本卷收录第六届自主系统形式化方法国际研讨会（FMAS 2024）的论文，该会于2024年11月11日至13日与iFM'24在曼彻斯特大学联合举办。
2024-11-20 cs.AI cs.LO cs.RO
Proceedings 13th International Conference on Quantum Physics and Logic
本卷包含第13届量子物理与逻辑国际会议（QPL 2016）的会议记录，该会议于2016年6月6日至10日在斯特拉斯克莱德大学举行。QPL是一个会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构的观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。
2017-01-01 cs.LO quant-ph
Proceedings 18th International Conference on Quantum Physics and Logic
本卷包含第18届量子物理与逻辑国际会议（QPL 2021）的会议记录，该会议于2021年6月7日至11日在格但斯克大学和在线举行。QPL是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构的观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。
2021-09-09 cs.LO quant-ph
Proceedings 16th International Conference on Quantum Physics and Logic
本卷包含2019年6月10日至14日举行的第16届量子物理与逻辑国际会议（QPL 2017）的会议记录。量子物理和逻辑是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。将受量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作也是受欢迎的。
2020-04-30 cs.FL cs.IT cs.LO
Proceedings 41st International Conference on Logic Programming
第41届国际逻辑编程会议记录收录了逻辑编程领域的最新研究成果，涵盖理论基础、语言设计、程序分析与应用等多个方面。
2025-12-31 cs.LO
Proceedings of the Sixteenth International Conference on Advances in Modal Logic
本文介绍了第十六届模态逻辑进展国际会议（AiML 2026）的会议背景、组织信息及论文集出版情况，收录了特邀报告和录用论文的摘要。
2026-06-28 cs.LO
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
Carnegie Mellon University（卡内基梅隆大学）
第15届理性与知识的理论方面会议（TARK）于2015年6月4日至6日在美国匹兹堡卡内基梅隆大学举行。TARK会议的使命是汇集来自各个领域的研究人员，包括人工智能，密码学，分布式计算，经济学和博弈论，语言学，哲学和心理学，以进一步我们对涉及理性和知识推理的跨学科问题的理解。这些会议记录包括在TARK会议上提交的论文/摘要的子集。
2016-06-23 cs.AI cs.GT cs.LO
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
MFPS会议致力于数学、逻辑和计算机科学领域，这些领域通常与计算模型有关，特别是与程序设计语言的语义有关。这是一个数学和计算机科学的研究人员可以见面和交换意见的论坛。大力鼓励邻近地区的研究人员参与。主题包括但不限于以下内容：生物计算;并发定性和定量分布式系统;过程演算;概率系统;构造数学;域理论和分类模型;形式语言;形式方法;博弈语义; λ演算;编程语言理论;量子计算;安全;拓扑模型;逻辑;类型系统;类型论。我们还欢迎将语义应用于复杂系统、市场和网络等新领域的贡献。
2021-12-27 cs.FL cs.LO cs.PL
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
本卷EPTCS包含了2019年8月26日在巴西纳塔尔举行的第六届定理证明证据交换研讨会（PxTP 2019）的会议记录，作为CADE-27会议的一部分。PxTP研讨会系列汇集了研究人员，他们致力于推理系统和形式主义之间的通信，集成和合作的各个方面，特别关注证明。在过去几十年中，计算机辅助推理（包括自动化和交互式推理）取得了进展，使人们有可能建立越来越适用于更广泛问题的推理工具，并能够逐步更快地解决更大的问题。近年来，在较大的系统中，这些工具之间的合作已经证明了减少人工干预的潜力。推理系统之间的合作依赖于理论形式主义和实用工具的可用性，以交换问题，证明和模型。PxTP系列研讨会致力于鼓励这种合作，邀请各方就推理工具之间合作的各个方面做出贡献，无论是自动的还是交互式的。
2019-08-23 cs.LO
Proceedings 24th International Workshop on Unification
本卷包含在2010年7月14日在爱丁堡举行的第24届国际统一研讨会上提出的论文，作为FLoC 2010（联邦逻辑会议）的一部分。
2010-12-21 cs.LO cs.PL
Proceedings 17th International Conference on Quantum Physics and Logic
本卷包含2020年6月2日至6日举行的第17届量子物理与逻辑国际会议（QPL 2020）的会议记录。量子物理和逻辑是一个年度会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。将受量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作也是受欢迎的。
2021-09-03 cs.LO quant-ph
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications
非经典逻辑理论与应用（NCL）是一个国际会议，旨在介绍广泛理解的非经典逻辑及其应用的新结果和调查工作。今年的版本也是一个机会，以庆祝50周年的逻辑期刊公报的逻辑部分（BSL），成立于1971年，并从那时起由罗兹大学出版。在这个场合，一些著名的研究人员与BSL债券被要求提供邀请会谈。此外，会议期间还举行了一次特别会议，纪念于2021年去世的杰出逻辑学家和BSL收藏编辑J. Michael Dunn。最后，与会议搭配的是三个研讨会，随后，非弗雷根逻辑，相关逻辑和形式本体论，以及分级逻辑教程。
2022-04-13 cs.LO
Proceedings 6th Workshop on Mathematically Structured Functional Programming
第六次数学结构化函数式编程研讨会致力于从结构中推导功能。这是庆祝理论计算机科学对我们今天编写程序的直接影响。现代程序设计语言，特别是函数式语言，支持数学结构的直接表达，为程序员提供了强大而抽象的工具。如果没有monads，Haskell会在哪里？没有箭头的函数式反应编程？按推值调用而不进行预处理？这个研讨会是一个为那些寻求在数据和控制中反映数学现象的研究人员提供的论坛。第六届数学结构函数编程研讨会于2016年4月8日在荷兰埃因霍温举行，作为ETAPS 2016的一部分。有五个贡献的谈话和一个邀请谈话。
2016-04-01 cs.LO cs.PL
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
MARS 2024研讨会论文集聚焦真实系统形式化建模，旨在解决大规模案例研究匮乏与模型细节易被省略的问题，强调建模重于验证以分享建模经验。
2024-03-26 cs.LO cs.PL cs.SE
Proceedings of the Fourth International Conference on Applied Category Theory
第四届应用范畴理论国际会议于2021年7月12日至16日在剑桥大学计算机实验室举行。这是一个混合的活动，物理与会者在剑桥和其他参与者参加在线。所有的谈话都被录制下来，视频也被张贴在网上，链接可在会议网站上找到（https：//www.cl.cam.ac.uk/events/act2021/）。延续ACT前几次会议的趋势，ACT 2021的贡献范围从纯到应用，代表了各种各样的分类技术和应用主题，包括：图形演算;透镜;微分类别;分类概率论;机器学习;博弈论;控制论;自然语言语义和处理;密码学;和有限模型理论。本会议录卷包含了ACT 2021上作为讲座提出的论文的一半。这一选择反映了作者的选择，即是否在本卷或其他地方发表他们的论文。
2022-10-31 cs.LO
Proceedings Eighth International Conference on Applied Category Theory
第八届应用范畴论国际会议汇集了来自不同学科的学者，涵盖纯理论与应用，展示了包括计算机科学、概率论、化学、量子计算等领域的最新研究成果。
2026-03-10 cs.LO math.CT
Proceedings of the 22nd International Conference on Quantum Physics and Logic
本文介绍第22届量子物理与逻辑国际会议（QPL 2025）论文集，该会议聚焦量子计算与量子物理的数学基础，涵盖代数、范畴结构、形式语言及语义方法等研究。
2025-08-19 cs.LO quant-ph
Proceedings of the 21st International Conference on Quantum Physics and Logic
本文为QPL 2024会议论文集，介绍该量子物理与逻辑领域年度会议的举办信息及其在量子计算数学基础、范畴语义和形式方法等方面的关注重点。
2024-08-09 cs.LO quant-ph
Proceedings 39th International Conference on Logic Programming
Imperial College London（伦敦帝国学院）
本卷为ICLP 2023会议的技术通讯集，涵盖主轨道、博士联盟、应用与系统/演示、近期发表研究、兴趣小组及逻辑程序设计与机器学习、可解释性、伦理和可信赖性等主题轨道。
2023-08-28 cs.AI cs.LO cs.PL
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge
本卷包括在理性和知识的理论方面（TARK）在利物浦大学举行的第十六届会议上提出的论文，英国，从2017年7月24日至26日。TARK会议汇集了来自各个领域的研究人员，包括计算机科学（特别是人工智能，密码学，分布式计算），经济学（特别是决策理论，博弈论，社会选择理论），语言学，哲学（特别是哲学逻辑）和认知心理学，以进一步理解涉及理性和知识推理的问题。
2017-07-25 cs.AI cs.CR cs.GT
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2017年9月8日在英国牛津举行的第四届程序转换和评估重写技术国际研讨会（WPTE 2017）的正式会议记录，并与第二届计算和演绎形式结构国际会议（FSCD 2017）有关。
2018-02-16 cs.LO cs.PL
Proceedings Applied Category Theory 2019
应用范畴理论是一个新的会议系列。所有的论文都经过仔细的审阅，接受的标准很高。这是第一次以这种形式出现，结果提交了大约70篇论文，150名与会者。这次会议是组成家庭的一部分，一个新的钻石开放获取杂志。
2020-09-14 cs.LO
Proceedings Sixth Workshop on Synthesis
SYNT研讨会旨在汇集对计算系统综合这一广泛领域感兴趣的研究人员。目标是促进计算系统自动化开发的前沿技术的发展。感兴趣的贡献包括算法，复杂性和可判定性分析，以及可重复的算法，实现的工具和实验评估。应用领域包括软件、硬件、嵌入式和网络物理系统。计算模型包括函数式、反应式、混合式和时间系统。识别，正规化，并在特定的应用领域的综合评估是鼓励。第六次研讨会在德国海德堡举行。它与第29届计算机辅助核查国际会议设在同一地点。研讨会包括四个贡献的演讲，四个邀请演讲，以及关于句法指导合成竞赛（SyGuS）和反应合成竞赛（SYNTCOMP）的报告。
2017-11-28 cs.FL cs.LO cs.SE
Proceedings of the 21st International Workshop on Termination
第21届终止问题国际研讨会（WST 2026）会议记录，其于7月25日在里斯本举行，隶属于第13届自动推理国际联合会议（IJCAR 2026），而IJCAR 2026又是联合逻辑会议（FLoC 2026）一部分。
2026-07-16 cs.LO
Proceedings 40th International Conference on Logic Programming
University of Texas at Dallas（德克萨斯大学达拉斯分校）
该论文集收录第40届国际逻辑程序设计会议（ICLP）的技术内容，涵盖逻辑程序设计的语义、语言设计、程序分析及实现方法学等领域，展现该领域的最新研究成果。
2025-02-11 cs.AI cs.LO
Proceedings 35th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程的所有领域寻求贡献，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语言：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的领域特定语言，编程技术。声明式编程：声明式程序开发，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，编译，分析，测试，执行可视化实现：虚拟机，编译，存储管理，并行/分布式执行，约束处理规则，制表，外部接口，用户界面。相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、答案集程序设计、与SAT、SMT和CSP求解器的交互、类型推断和定理证明的逻辑程序设计技术、论证、概率逻辑程序设计、与面向对象和函数式程序设计的关系。应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、教育、网络安全和机器人技术。
2019-09-17 cs.AI cs.LO cs.PL
TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge
一年两次的TARK会议汇集了来自各个领域的研究人员，他们对理性和知识的推理有着共同的兴趣。这一传统的影响可以追溯到1986年，在今天的许多研究趋势和超越传统学科界限的知识界的发展中是显而易见的。本卷记录了2013年1月7日至9日在印度钦奈数学科学研究所举行的第14届TARK会议。它包括18个贡献的演讲，8个海报展示，以及3个邀请在会议上发表的演讲。与本系列的前几卷一样，本书也展示了在博弈论、决策论、信念修正、语言分析和计算等领域对知识和理性的研究的最新进展。它应该是有价值的研究人员，教师和学生。
2013-10-23 cs.GT cs.LO
Proceedings Sixth International Workshop on Classical Logic and Computation
研讨会系列旨在涵盖研究经典逻辑和数学的计算方面的研究。它的重点是解开逻辑原理的计算内容和基于这些原理的数学证明，旨在将两个领域的研究人员聚集在一起并交流思想。经典逻辑与计算（CL&C）2016是该系列研讨会的第六届，作为FSCD 2016的卫星于2016年6月23日在葡萄牙波尔图举行。在第六版中，我们收到了11份简短和完整的论文。其中八（8）被选中在波尔图会议上提出，五（5）全文最初被接受出现在EPTCS特别卷，其中一个后来被其作者撤回。一个邀请演讲是由马克Bezem（美国）。《逻辑学》（Coherent Logic）：一种逻辑。今年提交的其他主题包括：使用非标准分析的证明的计算内容，证明的Herbrand内容的结构化语法为基础的方法，语义的Muda-mu演算，经典自然演绎证明的规范化，凸优化和代数中的无效证明的证明挖掘功能解释。我想感谢项目委员会的成员，感谢他们出色的工作：斯蒂芬·范·巴克尔（伦敦）、斯特凡诺·贝拉尔迪（都灵）、费尔南多·费雷拉（里斯本）、雨果·德·利古罗（都灵）、亚历山大·米克尔（蒙得维的亚）。Ulrich Kohlenbach（达姆施塔特，PC主席）
2016-06-19 cs.LO
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics
DCM 2010提供了一个关于新计算方法和模型的论坛，2010年特别强调与物理学和生物学相关的计算和因果模型。我们相信，在一个具有FLoC强大基础背景的社区中，将不同的方法结合在一起，会产生鼓舞人心的跨境交流和创新的进一步研究。第二天的这个前FLoC 2010研讨会是给了物理和量子相关的计算。第一天的内容更典型的是以前的DCM研讨会-涵盖了与开发新的计算模型或传统计算模型的新功能相关的全方位主题。DCM 2010旨在促进互动，并为提出新想法和正在进行的工作提供一个论坛。它还旨在使新来者能够了解这一领域的最新研究。
2010-07-23 cs.LO quant-ph
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
本卷包含了在交互式定理证明器（PAR 2010）的偏性和递归研讨会的会议记录，该研讨会于7月15日在英国爱丁堡举行。该研讨会是作为交互式定理证明国际会议（ITP 2010）的卫星研讨会举办的，ITP 2010本身是2010年联邦逻辑会议（FLoC 2010）的一部分。这个研讨会是研究人员在定理证明器中处理部分函数和终止一般（共同）递归的新方法的场所。
2010-12-21 cs.LO
Proceedings 36th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程和相关领域的所有领域征求贡献，包括但不限于：-基础：语义学，形式主义，集合编程，非单调推理，知识表示。- 声明式编程：推理引擎，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，建模，分析，测试，基于逻辑的领域特定语言，约束处理规则。- 相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、与SAT、SMT和CSP求解器的交互、用于类型推断和定理证明的逻辑编程技术、论证、概率逻辑程序设计、与面向对象和函数式编程的关系、描述逻辑、神经符号机器学习、混合深度学习和符号推理。- 实施情况：并发和分布，对象，协调，移动性，虚拟机，编译，高阶，类型系统，模块，约束处理规则，元编程，外部接口，用户界面。- 应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、生物信息学、教育、计算生命科学、教育、网络安全和机器人技术。
2020-09-19 cs.AI cs.LO cs.PL
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
这些会议记录包含在第10届Web系统自动规范和验证国际研讨会上提交的论文（WWV 2014），于2014年7月18日在奥地利维也纳举行，作为联邦逻辑会议的卫星研讨会（FLoC 2014），与第七届自动推理国际联合会议（IJCAR 2014）相关，作为维也纳逻辑之夏（VSL 2014）的一部分。WWV是一个年度研讨会，旨在提供一个跨学科的论坛，以促进交叉施肥和混合方法的发展，这些方法利用基于规则的编程，正式方法，软件工程和面向Web的研究的概念和工具。
2014-09-08 cs.LO cs.PL cs.SE
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
本文是第十九届TARK会议论文集的说明，介绍了TARK跨学科会议的宗旨、历史、研究主题，以及2023年牛津会议的基本信息与论文收录情况。
2023-07-18 cs.AI cs.GT cs.LO
Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
介绍第21届逻辑框架与元语言理论与实践研讨会会议录，其为第11届形式结构计算与演绎国际会议卫星会议，包含投稿论文，程序委员会由Olivier Hermant和Sophie Tourret主持，更多信息可通过特定网址获取。
2026-07-14 cs.FL cs.LO cs.PL
Proceedings Fifth International Conference on Applied Category Theory
第五届国际应用范畴论会议（ACT2022）于2022年在斯特拉斯克莱德大学举行，涵盖59个报告及多学科贡献，本卷论文集收录了经同行评审的24篇会议论文。
2023-07-28 cs.LO math.CT
Proceedings Twelfth International Workshop on Computing with Terms and Graphs
本文记录了第十二届项与图计算国际研讨会（TERMGRAPH 2022）的举办情况，该研讨会于2022年8月1日在以色列海法举行，作为FLoC 2022和FSCD 2022的卫星活动。
2023-04-02 cs.LO
Proceedings 8th International Workshop on Computing with Terms and Graphs
本卷包含第八届国际术语和图形计算研讨会（TERMGRAPH 2014）的后续会议记录。该研讨会于2014年7月13日在维也纳举行，隶属于RTA和TLCA联合会议，该会议是联邦逻辑会议（FLoC）的一部分，而FLoC又参加了2014年维也纳逻辑夏季（VSL）。这些程序中的四个常规文件是其程序前版本的显着扩展版本。他们又接受了一轮审查。Samuel Mimram的论文是一份特邀贡献。
2015-05-26 cs.CC cs.LO
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
本卷包含MARS 2018的联合会议记录，第三次真实系统形式分析模型研讨会，以及VPT 2018，第六次验证和程序转换国际研讨会，于2018年4月20日在希腊塞萨洛尼基举行，作为ETAPS 2018的一部分，欧洲软件理论与实践联合会议。MARS强调建模而非验证。它的目的是讨论从制定正式的方法来验证和分析现实的系统中吸取的教训。例如：（1）选择哪种形式主义，为什么？(2)必须进行哪些抽象，为什么？(3)系统的重要特征是如何建模的？(4)在对系统建模时是否有任何并发症？(5)采取了哪些措施来保证模型的准确性？我们邀请了论文，提出了真实系统的完整模型，这可能会为未来的比较和分析奠定基础。研讨会的目的之一是介绍不同的建模方法，并讨论每种方法的利弊。在这次研讨会上提出的系统的替代正式描述是鼓励，这应该促进改进规范形式主义的发展。VPT旨在提供一个论坛，来自程序转换和程序验证领域的人们可以卓有成效地交换意见，并对这两个领域之间的相互作用有更深入的了解。这些互动在两个方面都是有益的。一方面，在程序转换领域开发的方法和工具，如部分演绎，部分求值，折叠/展开变换和超级编译，成功地应用于验证，特别是无限状态和参数化系统的验证。另一方面，在程序验证中开发的方法，如模型检验，抽象解释，SAT和SMT求解，自动定理证明，用于增强程序转换技术，从而使这些技术在实践中更强大和有用的。
2018-03-23 cs.FL cs.LO cs.PL
Proceedings First International Workshop on Linearity
本卷包含LINEARITY 2009会议记录：第一届线性国际研讨会，于2009年9月12日在葡萄牙科英布拉举行。该研讨会是CSL 2009的卫星活动，第18届EACSL计算机科学逻辑年会。
2010-03-30 cs.LO
Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
Edited by: Adam Bjorndahl（编辑：Adam Bjorndahl）
TARK 2025会议收录了关于理性与知识理论的最新研究成果，涵盖知识、信念、博弈论等多个领域。
2025-11-25 cs.AI cs.GT cs.LO
Proceedings 38th International Conference on Logic Programming
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2022的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
2022-08-04 cs.AI cs.LO
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2021的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
2021-09-15 cs.AI cs.LO
Proceedings First Workshop on Horn Clauses for Verification and Synthesis
本卷包含HCVS 2014的会议记录，第一次Horn Clauses for Verification and Synthesis研讨会于2014年7月17日在奥地利维也纳举行，作为联邦逻辑会议（FLoC）的卫星活动和维也纳逻辑夏季（VSL 2014）的一部分。HCVS 2014隶属于第26届计算机辅助验证国际会议（CAV 2014）和第30届逻辑编程国际会议（ICLP 2014）。大多数感兴趣的程序验证和综合问题可以直接使用Horn子句建模，并且约束/逻辑编程和程序验证社区的许多最新进展都集中在有效地解决Horn子句提出的问题上。由于这些团体在不同的时期从不同的角度倡导关于核查和综合的Horn条款，因此举办HCVS研讨会是为了促进互动和富有成效的经验交流和整合。
2014-12-02 cs.LO cs.SE
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
本卷包含在2009年6月28日在巴西利亚举行的第九届重写和编程中的缩减策略国际研讨会（WRS 2009）上提交的论文，与RDP的RTA 2009（第20届重写技术和应用国际会议）有关，联邦会议重写，演绎和编程。归约策略定义应选择哪些（子）表达式进行评估以及应应用哪些规则。这些选择会影响约简的基本属性，例如完整性、惰性和效率。WRS研讨会促进了约简策略及其在规范和编程、定理证明、软件工程等领域的应用方面的研究和合作。
2010-01-26 cs.LO cs.PL cs.SC
