Proceedings 7th International Workshop on Theorem proving components for Educational software
第七届教育软件定理证明组件国际研讨会（ThEdu'18）于2018年7月18日在英国牛津举行。它与2018年联邦逻辑会议（FLoC 2018）有关。ThEdu研讨会系列的主要目的是将有兴趣将计算机定理证明（TP）适应教育需求的开发人员联系起来，并向数学家和数学教育工作者介绍TP作为教育软件的潜力。感兴趣的主题包括：应用于检查学生输入的自动演绎方法;应用于证明特定问题解决方案的后条件的自动演绎方法;演绎和计算的组合使系统能够提出下一步;动态几何系统专用的自动证明器;数学教育中的证明和证明。ThEdu'18是一个充满活力的研讨会，有一场受邀演讲和六篇贡献。它触发了手头的后续程序。
2019-03-29 cs.AI cs.LO
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
本卷包含第13届约束和逻辑编程系统实现国际研讨会（CICLOPS 2013）的会议记录，于2013年8月25日在土耳其伊斯坦布尔举行。CICLOPS是一个完善的研讨会系列，传统上与ICLP共同定位，旨在讨论和交流关于约束和逻辑编程系统的设计，实现和优化的经验，以及其他基于逻辑的系统作为表达计算的手段。今年，CICLOPS收到了8份论文提交。每一份提交的文件都由至少3名计划委员会成员审查，最后，6份文件被接受在研讨会上发表。我们要感谢ICLP组织者的支持，感谢EasyChair会议管理系统使项目主席的工作更轻松，感谢arxiv.org提供永久托管服务。还应感谢所有提交文件的作者为使CICLOPS具有活力所作的贡献，并感谢与会者使该活动成为一个就最近的发展情况进行富有成果的意见交流和反馈的聚会点。最后，我们要感谢计划委员会成员，因为没有他们的奉献精神，研讨会是不可能的。
2013-07-31 cs.PL
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
本卷包含第14届程序设计语言和系统（QAPL）定量方面国际研讨会的后续会议记录，该研讨会于2016年4月2日至3日在荷兰埃因霍温举行，是ETAPS 2016的卫星研讨会。
2016-10-25 cs.PL
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 24th International Workshop on Unification
本卷包含在2010年7月14日在爱丁堡举行的第24届国际统一研讨会上提出的论文，作为FLoC 2010（联邦逻辑会议）的一部分。
2010-12-21 cs.LO cs.PL
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
本卷是由意大利博洛尼亚大学组织的第28届函数和逻辑编程国际研讨会（WFLP 2020）的预录，作为2020年程序设计语言博洛尼亚联合会议的一部分。函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程，逻辑编程及其集成感兴趣的研究人员，学生和从业者。WFLP是一个活跃而友好的论坛，它是开放的，可以展示和讨论正在进行的工作，技术贡献，经验报告，实验，评论和系统描述。
2020-09-04 cs.PL
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
本卷是2017年10月10日至12日在比利时那慕尔举行的第27届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，并与第19届声明式编程原理和实践国际研讨会（PPDP 2017）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2017-08-31 cs.LO cs.PL
Proceedings Seventh International Workshop on Verification and Program Transformation
本卷包含第七届验证和程序转换国际研讨会（VPT 2019）上提交的论文的最终和修订版，该研讨会于2019年4月2日在意大利热那亚举行，隶属于Programming 2019。
2019-08-16 cs.LO cs.PL
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education
本卷包含经过审查后接受的论文，基于提交给TFPIE 2021和TFPIE 2022的演讲，这些演讲与波兰克拉科夫的LambdaDays 2021/22合作在线进行。TFPIE代表教育中的函数式编程趋势，作者在任何级别的函数式编程教学概念中展示了研究和经验。
2022-07-23 cs.PL
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
本卷是第26届函数和逻辑编程国际研讨会（WFLP 2018）的预录。它是由程序委员会选出的在研讨会上发表的论文组成的。经过研讨会的讨论，项目委员会将选择一些论文邀请第二轮评审和选择的正式程序。
2018-10-01 cs.LO cs.PL
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education
本卷包含了第四届和第五届教育中函数式编程趋势国际研讨会（TFPIE 2015和TFPIE 2016）的会议记录，分别于2015年6月2日在法国索菲亚-安提波利斯和2016年6月7日在美国马里兰大学公园举行。
2016-11-26 cs.CY cs.PL
Proceedings Tenth International Workshop on Rule-Based Programming
本卷包含规则2009：第十届基于规则的编程国际研讨会的会议记录。它发生在2009年6月28日，巴西利亚，巴西，作为RDP 2009的卫星事件。第一届规则研讨会于2000年在蒙特利尔举行，随后的版本在佛罗伦萨，匹兹堡，瓦伦西亚，亚琛，奈良，西雅图，巴黎和哈根贝格举行。
2010-03-30 cs.LO cs.PL
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
本卷是2016年9月6日至8日在英国苏格兰爱丁堡举行的第26届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，与第18届声明式编程原理与实践国际研讨会（PPDP 2016）和第23届静态分析研讨会（SAS 2016）位于同一地点。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2016-09-01 cs.LO cs.PL
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education
本文集收录了2023年1月在美国波士顿UMass Boston举办的第十二届TFPIE研讨会上经后期评审录用的论文，内容涵盖各层次函数式编程教学的研究与实践经验。
2023-08-11 cs.PL
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
本卷是第32届基于逻辑的程序合成和转换国际研讨会的非正式会议录（LOPSTR 2022），于2022年9月21日至23日举行，作为混合（混合）会议，（在格鲁吉亚第比利斯的Ivane Javakhishvili Tbilisi State University -TSU）和虚拟，并与第24届声明式编程原理与实践国际研讨会（PPDP 2022）共同举办，作为2022年计算逻辑秋季峰会（CLAS 2022）的一部分。
2022-07-29 cs.LO cs.PL
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2021的会议记录：第28届并发表达性国际研讨会和第18届结构操作语义研讨会，该研讨会在线举行，作为CONCUR 2021的附属研讨会，第32届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2021-08-22 cs.LO cs.PL
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2020：第27届并发性表达国际研讨会和第17届结构操作语义研讨会的会议记录，该研讨会作为第31届国际并发性研讨会CONCUR 2020的附属研讨会在线举行。并发理论。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2020-08-27 cs.LO cs.PL
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
本卷构成了第31届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2021），于2021年9月7日至8日举行，作为混合（混合）会议，双方都亲自参加（在爱沙尼亚塔林的教师之家）和虚拟，并与第23届声明式编程的原则和实践国际研讨会（PPDP 2021）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2021-08-31 cs.LO cs.PL
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2022的会议记录：第29届并发表达性国际研讨会和第19届结构操作语义研讨会，该研讨会在波兰华沙举行，作为第33届并发理论国际会议CONCUR 2022的附属研讨会。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2022-08-31 cs.LO cs.PL
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 Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2019的会议记录：2019年8月26日在阿姆斯特丹（荷兰）举行的第26届并发表达性国际研讨会和第16届结构操作语义研讨会，作为CONCUR 2019的附属研讨会，第30届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2019-08-22 cs.LO cs.PL
Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014)
本卷包含2014年9月1日在德国慕尼黑举行的第一届软件程序员FPGA国际研讨会（FSP 2014）上接受的论文。FSP 2014与现场可编程逻辑和应用国际会议（FPL）位于同一地点。
2015-02-27 cs.AR cs.DC cs.PL
Proceedings 14th International Workshop on Trends in Functional Programming in Education
该研讨会旨在汇聚教育中函数式编程的研究者、教师与从业者，通过会后评审出版机制促进开放讨论，分享新想法、课堂实践与进行中工作。
2025-08-04 cs.PL
Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015)
本卷包含2015年9月1日在英国伦敦举行的第二届软件程序员FPGA国际研讨会（FSP 2015）上接受的论文。FSP 2015与现场可编程逻辑和应用国际会议（FPL）位于同一地点。
2015-08-25 cs.AR cs.DC cs.PL
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2016年6月23日在葡萄牙波尔图举行的第三届程序转换和评估重写技术国际研讨会（WPTE 2016）的正式会议记录，作为第一届计算和演绎形式结构国际会议（FSCD 2016）的卫星活动。该研讨会汇集了研究人员的程序转换，评估，和基于操作的程序设计语言语义，使用重写方法，以分享技术和最新发展，并交流思想，鼓励进一步激活在这一领域的研究。
2017-01-01 cs.LO cs.PL
Proceedings 5th International Workshop on Higher-Order Rewriting
HOR 2010是一个论坛，介绍有关高阶重写的各个方面的工作。目的是提供一个非正式和友好的环境，讨论最近的工作和正在进行的工作。前几届HOR分别在丹麦哥本哈根（HOR 2002）、德国亚琛（HOR 2004）、美国西雅图（HOR 2006）和法国巴黎（HOR 2007）举行。
2011-02-17 cs.LO cs.PL
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
本卷包含FOCLASA 2010的会议记录，第9届协调语言和软件架构基础国际研讨会。FOCLASA 2010于2010年7月30日在法国巴黎举行，作为第21届并发理论国际会议CONCUR 2010的卫星活动。本会议录中提出的论文解决了目前对我们社区至关重要的不同问题，即软件自适应，传感器网络，分布式控制，协调的非功能方面，如资源，定时和随机。
2010-07-28 cs.DC cs.LO cs.PL
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
本卷包含五篇论文，经过审查后接受，基于分别在加拿大温哥华和波兰克拉科夫提交给TFPIE 2019和TFPIE 2020的演讲。TFPIE代表教育中的函数式编程趋势，作者在任何级别的函数式编程教学概念中展示了研究和经验。
2020-08-20 cs.CY cs.PL
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
这些会议记录包含在2015年6月23日在挪威奥斯陆举行的第11届Web系统自动化规范和验证国际研讨会（WWV 2015）上提交的论文，作为第20届形式化方法国际研讨会（FM 2015）的卫星研讨会。WWV是一个年度跨学科论坛，研究人员来自以下领域：声明式，基于规则的编程，形式化方法，软件工程和基于Web的系统。该研讨会促进这些领域的混合方法的交叉和进步。
2015-08-14 cs.LO cs.PL cs.SE
Proceedings 42nd International Conference on Logic Programming
介绍第42届国际逻辑编程会议论文集，涵盖理论基础等多领域主题，包含主轨道和最近发表研究轨道的论文，展示了逻辑编程研究成果。
2026-07-21 cs.LO cs.PL
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
本卷包含在第四届国际软件测试、分析和验证研讨会上提交的论文，该研讨会与第25届IEEE/ACM自动化软件工程国际会议（ASE 2010）有关。论文集包括形式规格说明，模型检查，测试和Web软件调试的研究。
2010-09-17 cs.FL cs.LO cs.PL
Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
本文集收录了2025年在英国伯明翰举行的第20届逻辑框架与元语言：理论与实践国际研讨会（LFMTP 2025）的提交论文，该会议作为FSCD会议的卫星活动举办。
2025-10-13 cs.LO cs.PL
Proceedings 14th International Conference on Quantum Physics and Logic
本卷包含第14届量子物理与逻辑国际会议（QPL 2017）的会议记录，该会议于2017年7月3日至7日在荷兰奈梅亨LUX电影院举行，由Radboud大学主办。QPL是一个会议，汇集了研究量子物理，量子计算和相关领域的数学基础的研究人员，重点是结构观点和逻辑工具的使用，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学技术应用于一般物理行为的研究。本次会议还欢迎将量子理论启发的结构和方法应用于其他领域（包括计算机科学）的工作。
2018-02-27 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 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 2nd International Workshop on Linearity
本卷包含在第二届线性国际研讨会（LINEARITY'2012）上提交的论文选集，该研讨会于2012年4月1日在爱沙尼亚塔林举行。该研讨会是为期一天的卫星活动ETAPS 2012，第15届欧洲软件理论与实践联合会议。该研讨会的目的是汇集目前正在开发线性微积分理论和应用的研究人员，以促进他们的互动，为提出新的想法和正在进行的工作提供一个论坛，并使新来者能够了解这一领域的当前活动。
2012-11-15 cs.LO cs.PL
Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000)
在过去的几十年里，自动化调试已经取得了重大成就。然而，由于调试必然与特定的编程范式相关联，因此结果是分散的。研讨会的目的是收集编程社区的共同主题和解决方案，并相互交流想法。慕尼黑的AADEBUG 2000是继瑞典林科平的AADEBUG'93、法国圣马洛的AADEBUG'95和瑞典林科平的AADEBUG'97之后的又一次盛会。
2001-01-23 cs.PL cs.SE
Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003)
在过去的几十年里，自动化调试已经取得了重大成就。然而，由于调试是由特定的编程范式的必要性，结果是分散的。为了解决这个问题，1993年在瑞典的林克奥平举办了自动化和计算机程序设计研讨会（简称AADEBUG）。由于这次讲习班证明是成功的，随后又于1995年（法国圣马洛）、1997年（再次在瑞典林克奥平）和2000年（德国慕尼黑）举办了讲习班。2003年，该研讨会在比利时根特举办，您正在阅读的会议记录。
2004-12-21 cs.PL cs.SE
Proceedings First International Workshop on Focusing
本卷是2015年11月23日在斐济苏瓦举行的第一届聚焦国际研讨会WoF'15的会议记录。该研讨会是LPAR-20的一个为期半天的卫星活动，LPAR-20是第20届编程逻辑、人工智能和推理国际会议。项目委员会选择了四篇论文在WoF'15上发表，并纳入本卷。此外，该计划还包括伊莱恩·皮门特尔的特邀演讲。聚焦是一种交替两个阶段的证明搜索策略：反转阶段，在此阶段，可逆的搜索规则被穷尽地应用;以及链接阶段，在此阶段，它选择一个公式并使用不可逆的规则将其最大化地分解。聚焦是计算逻辑中最令人兴奋的最新发展之一：它对许多感兴趣的逻辑都是完整的，并为它们作为程序设计语言和重写演算提供了基础。
2015-12-15 cs.LO cs.PL
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy
本卷包含在2013年8月30日在Riva del Garda举行的第14届数据库程序设计语言研讨会（DBPL 2013）上发表的论文，与第39届超大型数据库国际会议（VLDB 2013）位于同一地点。它们涵盖了广泛的主题，包括程序设计语言技术的应用，以进一步提高数据库语言的表达能力，模式管理和实际使用的XML。为了补充这一技术计划，DBPL 2013邀请了Serge Abiteboul（Inria），Jérôme Siméon（IBM）和Soren Lassen（Facebook）的三次演讲。
2013-09-10 cs.DB cs.PL
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers
本卷包含在2013年10月19日在越南河内举行的第二届国际树自动机和传感器趋势研讨会（TTATT 2013）上发表的论文。讲习班与ATVA核查会议在同一地点举行。第一期研讨会与区域技术援助机构在同一地点举行，地点在日本名古屋。研讨会的兴趣在于程序设计语言、验证和数据库理论的交叉点，这些都是树自动机和传感器最近应用的领域。
2013-11-20 cs.FL cs.LO cs.PL
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
本卷是LFMTP 2015的会议记录，第十届逻辑框架和元语言国际研讨会：理论与实践，于2015年8月1日在德国柏林举行。该讲习班是第25届自动演绎国际会议CADE-25的一次为期一天的附属活动。逻辑框架和元语言形成了一个共同的基础，用于表示、实现和推理逻辑和计算机科学中感兴趣的各种演绎系统。它们的设计和实现以及它们在推理任务中的使用，从软件的正确性到正式计算系统的属性，一直是过去二十年来大量研究的焦点。该研讨会汇集了设计师，实现者和从业人员，讨论影响逻辑框架结构和实用性的各个方面，包括变量绑定，归纳和共归纳推理技术的处理以及推理过程的表达性和清晰度。
2015-07-27 cs.LO cs.PL
Proceedings 13th International Workshop on Developments in Computational Models
本文介绍DCM 2023会议论文集，该研讨会旨在汇聚研究人员交流新型与传统计算模型的发展，促进合作并展示前沿进展。
2024-09-28 cs.LO cs.PL cs.SC
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
本卷是LFMTP 2011的会议记录，第六届逻辑框架和元语言国际研讨会：理论与实践。LFMTP研讨会系列汇集了设计者，实现者和从业者，讨论逻辑框架和元语言结构的各个方面，这些方面影响了它们在逻辑和计算机科学中感兴趣的各种演绎系统的表示，实现和推理。LFMTP 2011于2011年8月26日在荷兰奈梅亨举行，作为ITP 2011的相关研讨会，第二届交互式定理证明国际会议。它的方案包括贡献和邀请的演讲，并与MLPA 11，第三次证明助手模块和库研讨会相结合。本会议录仅包含被接受在研讨会上发表的论文。这些论文中的每一篇都是根据项目委员会三名成员的审查而被接受的。随后，作者有机会根据审评员提出的评论意见和他们在研讨会上发言时获得的反馈意见修改其提交的材料。
2011-10-31 cs.LO cs.PL
Proceedings First International Workshop on Decentralized Coordination of Distributed Processes
本卷包含在2010年6月10日在荷兰阿姆斯特丹举行的第一届“分布式进程的分散协调”国际研讨会（DCDP 2010）上提交的论文，同时还包含第五届分布式计算技术国际联合会议（DisCoTec 2010）。研讨会的中心主题是分布式流程的分散协调。去中心化：网络中没有任何一个权威机构，任何东西都容易受到它的攻击。协调：进程需要合作，以取得有意义的结果，可能是在相互怀疑的情况下。分布式：进程被一个潜在的不可靠的网络分开。
2010-06-09 cs.CR cs.DC cs.NI
Proceedings Fifth International Workshop on Verification and Program Transformation
本卷包含第五届验证和程序转换国际研讨会（VPT 2017）的会议记录。研讨会于2017年4月29日在瑞典乌普萨拉举行，隶属于欧洲软件理论与实践联合会议（ETAPS）。VPT研讨会系列的目的是提供一个论坛，来自程序转换和程序验证领域的人们可以富有成效地交换意见，并对这两个领域之间的相互作用有更深入的了解。在研讨会上宣读了七篇论文。此外，Javier Esparza（德国慕尼黑工业大学）、Manuel Hermenegildo（西班牙马德里IMDEA软件研究所）和Alexey Khoroshilov（俄罗斯莫斯科ISPRAS Linux验证中心）也应邀进行了三次演讲。
2017-08-23 cs.LO cs.PL cs.SE
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
第三届国际应用范畴理论年会（ACT 2020）计划在美国马萨诸塞州剑桥的麻省理工学院举行。然而，全球COVID-19大流行使得举行大型面对面会议的前景变得不可能，因此该活动完全在线举行。在网上举行会谈有减少碳足迹的新好处，包括来自世界更多地区的人，以及制作更高质量的视频会谈，这些会谈已在网上发布给后代。ACT 2020的贡献涵盖了广泛的应用领域，包括数据库、动力系统、函数编程、博弈论、透镜、神经科学、概率编程、自然语言处理、量子力学和网络物理系统。论文采用了广泛的分类技术。本论文集中的论文约占ACT 2020演讲的一半。被列入会议记录与不被列入会议记录并不表明谈话质量，而几乎完全是作者的选择，例如，介绍已经在其他地方发表的作品。
2021-01-19 cs.DM cs.PL
Proceedings 3rd International Workshop on Trends in Functional Programming in Education
TFPIE的目标是聚集研究人员，教授，教师和所有对教育中的函数式编程感兴趣的专业人士。这包括函数式编程的教学，也包括函数式编程作为其他主题教学工具的应用。研讨会后的审查过程中收到了13份提交，这是由程序委员会审查，假设科学期刊出版标准。本卷中的六篇文章作为这一过程的结果被选中出版。
2014-12-12 cs.CY cs.DS cs.PL
Proceedings Second International Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2015的会议记录，这是第二次正式集成开发环境国际研讨会，于2015年6月22日在奥斯陆（挪威）举行，作为FM 2015卫星活动。高级别的安全性、保密性和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作，以及经验回报的设计，开发和使用正式的IDE，旨在使正式的方法“更容易”的专家和非专家。
2015-08-14 cs.LO cs.PL
Proceedings International Workshop on Developments in Implicit Computational complExity
本卷包含了国际研讨会上的发展，在隐式计算复杂性（DICE 2010），这发生在2010年3月27日至28日在帕福斯，塞浦路斯，作为一个卫星事件的联合欧洲会议的理论和实践的软件，ETAPS 2010年的会议记录。隐式计算复杂性研究的目的是在不涉及外部测量条件或特定机器模型的情况下，而是通过考虑对程序设计语言的限制或隐含复杂性属性的逻辑原则来研究计算复杂性。本次研讨会的目的是汇集研究隐式计算复杂性的研究人员，从其逻辑和语义方面到与程序的静态分析相关的方面，以促进他们的互动，并为新来者提供该领域当前趋势的概述。
2010-05-05 cs.CC cs.LO cs.PL
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 of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
硬件和软件基础设施的并发和并行程度越来越高，这就要求探索和理解各种基础和实用的想法。并行和通信软件的程序设计语言方法国际研讨会（PLACES）致力于这一领域的工作。该研讨会为来自不同领域的研究人员提供了一个论坛，以交流有关现代和未来编程的这些挑战的新想法，其中并发和分布是规范，而不是边缘问题。该主题是核心，并与ETAPS的主要会议，特别是与ESOP很好地结合在一起。
2022-03-23 cs.DC cs.LO cs.PL
Proceedings of the Thirteenth International Workshop on Graph Computation Models
本卷包含第十三届国际图形计算模型研讨会（GCM 2022）的后续会议记录。该研讨会于2022年7月6日在法国南特举行，作为STAF 2022（软件技术：应用和基础）的一部分。图是常见的数学结构，是视觉和直观的。它们为科学、工程和其他领域的系统建模提供了一种自然和无缝的方式，包括计算机科学、生物学和业务流程建模。图计算模型构成了一类非常高级的模型，其中图是一等公民。国际GCM研讨会系列的目的是汇集研究人员感兴趣的计算模型的各个方面的基础上图和图变换。它促进了来自不同社区的高级和年轻研究人员之间的思想和经验的交叉交流，这些社区对图形计算模型和相关领域的基础，应用和实现感兴趣。
2022-12-21 cs.LO cs.PL 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
